Sciweavers

Share
650 search results - page 1 / 130
» Using Static Analysis to Improve Automatic Test Generation
Sort
View
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
8 years 10 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
EDCC
2005
Springer
9 years 17 hour ago
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel...
SIGSOFT
2007
ACM
9 years 7 months ago
Improving test case generation for web applications using automated interface discovery
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...
William G. J. Halfond, Alessandro Orso
PLDI
2009
ACM
9 years 7 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
ASE
2016
3 years 2 months ago
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While th...
Tegawendé F. Bissyandé, Laurent R&ea...
books