2774 search results - page 12 / 555 » Query-Driven Program Testing |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
APSEC
1999
IEEE
13 years 12 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
In test-driven development, tests are written for each program unit before the code is written, ensuring that the code has a comprehensive unit testing harness. Unfortunately, uni...