Sciweavers

758 search results - page 31 / 152
» Pattern-Constrained Test Case Generation
Sort
View
82
Voted
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
15 years 4 months ago
Generation of compact test sets with high defect coverage
Abstract-Multi-detect (N-detect) testing suffers from the drawback that its test length grows linearly with N. We present a new method to generate compact test sets that provide hi...
Xrysovalantis Kavousianos, Krishnendu Chakrabarty
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
15 years 3 months ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
108
Voted
JAVACARD
2000
15 years 1 months ago
Automatic Test Generation for Java-Card Applets
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
Hugues Martin, Lydie du Bousquet
72
Voted
GECCO
2007
Springer
154views Optimization» more  GECCO 2007»
15 years 3 months ago
A multi-objective approach to search-based test data generation
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
Kiran Lakhotia, Mark Harman, Phil McMinn
ASPLOS
2012
ACM
13 years 5 months ago
Path-exploration lifting: hi-fi tests for lo-fi emulators
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
Lorenzo Martignoni, Stephen McCamant, Pongsin Poos...