612 search results - page 16 / 123 » Using Static Analysis to Improve Automatic Test Generation |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
In the drive to improve patient safety, patients in modern intensive care units are closely monitored with the generation of very large volumes of data. Unless the data are further...
PTS
2008
13 years 10 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
TSE
2010
13 years 3 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
NAACL
2007
13 years 10 months ago
2007
This paper describes a novel text comparison environment that facilities text comparison administered through assessing and aggregating information nuggets automatically created a...
SIGPLAN
2002
13 years 8 months ago
2002
We present a new analysis for removing unnecessary write barriers in programs that use generational garbage collection. To our knowledge, this is the first static program analysis...