Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ISSTA
2009
ACM

favoriteEmaildiscussreport

88views Software Engineering» more ISSTA 2009»

Efficient mutation testing by checking invariant violations

13 years 11 months ago

Efficient mutation testing by checking invariant violations

Download www.st.cs.uni-saarland.de

David Schuler, Valentin Dallmeier, Andreas Zeller

Real-time Traffic

ISSTA 2009 | Software Engineering |

claim paper

Related Content

» TestingforTrust The Genetic Selection Model Applied to Component Qualification

» Configuration Fuzzing for Software Vulnerability Detection

» Determining the Structural Events That May Violate an Integrity Constraint

» Analysis of invariants for efficient bounded verification

» UnCovering Equivalent Mutants

» Improving the testability and reliability of sequential circuits with invariant logic

» Efficient incremental algorithms for dynamic detection of likely invariants

» Active property checking

» Finding bugs efficiently with a SAT solver

Post Info
More Details (n/a)

Added	28 May 2010
Updated	28 May 2010
Type	Conference
Year	2009
Where	ISSTA
Authors	David Schuler, Valentin Dallmeier, Andreas Zeller

Comments (0)