197 search results - page 13 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
109
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
89
Voted
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
116
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
112
Voted
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
119
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...