249 search results - page 12 / 50 » Test Coverage Analysis and Preservation for Requirements-Bas... |
ISSTA
2004
ACM
14 years 29 days ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
ICECCS
2000
IEEE
13 years 12 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
ICSE
2007
IEEE-ACM
14 years 7 months 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...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
CAV
2010
Springer
13 years 11 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...