4079 search results - page 241 / 816 » Differential Testing for Software |
ICSEA
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—In continuous integration, a tight integration of test case prioritization techniques and fault-localization techniques may both expose failures faster and locate faults more ef...
APAQS
2000
IEEE
14 years 2 months ago
2000
IEEE
Recently, the extraordinarygrowth in the World Wide Web has been sweeping through business and industry. Many companies have developed or integrated their mission-critical applica...