5159 search results - page 150 / 1032 » Structural Testing of Executables |
142
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
153
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
174
click to vote
ASWEC
2006
IEEE
16 years 13 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
163
click to vote
COMPSAC
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
137
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. The goal of this article is to automate, based ...