Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Daniela Grijincu

dblp:118/3668 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 62% Program analysis · 19% Compilers and program optimization · 19%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › test adequacy › coverage criteria
structural coverage criteria
0.212015
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics · ICSE (1) 2015
Compilers and program optimization
partial evaluation
0.112015
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics · ICSE (1) 2015
Program analysis
static analysis
0.112015
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics · ICSE (1) 2015

Methods — techniques the papers use, named apart from their topics

symbolic execution · 0.2
YearPublicationVenuePosition
2015 A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics
abstract
Software analysis tools and techniques often leverage structural code coverage information to reason about the dynamic behavior of software. Existing techniques instrument the code with the required structural obligations and then monitor the execution of the compiled code to report coverage. Instrumentation based approaches often incur considerable runtime overhead for complex structural coverage metrics such as Modified Condition/Decision (MC/DC). Code instrumentation, in general, has to be approached with great care to ensure it does not modify the behavior of the original code. Furthermore, instrumented code cannot be used in conjunction with other analyses that reason about the structure and semantics of the code under test. In this work, we introduce a non-intrusive preprocessing approach for computing structural coverage information. It uses a static partial evaluation of the decisions in the source code and a source-to-bytecode mapping to generate the information necessary to efficiently track structural coverage metrics during execution. Our technique is flexible; the results of the preprocessing can be used by a variety of coverage-driven software analysis tasks, including automated analyses that are not possible for instrumented code. Experimental results in the context of symbolic execution show the efficiency and flexibility of our non- intrusive approach for computing code coverage information.
Michael W. Whalen, Suzette Person, Neha Rungta, Matthew Staats, Daniela Grijincu
ICSE (1)5