2774 search results - page 80 / 555 » Query-Driven Program Testing |
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques attempt to reduce the cost of regression te...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
ADAEUROPE
2007
Springer
14 years 4 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
NDSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
ACL
2009
13 years 8 months ago
2009
We describe a novel method for the task of unsupervised POS tagging with a dictionary, one that uses integer programming to explicitly search for the smallest model that explains ...