Sciweavers

5159 search results - page 15 / 1032
» Structural Testing of Executables
Sort
View
XPU
2009
Springer
14 years 4 months ago
FitClipse: A Tool for Executable Acceptance Test Driven Development
FitClipse is an Eclipse plug-in for facilitating Executable Acceptance Test Driven Development. The tool allows the users to edit acceptance tests, automatically generate fixtures,...
Shahedul Huq Khandkar, Shelly Park, Yaser Ghanam, ...
UML
2004
Springer
14 years 3 months ago
Determining the Structural Events That May Violate an Integrity Constraint
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
Jordi Cabot, Ernest Teniente
XPU
2009
Springer
14 years 4 months ago
Communicating Domain Knowledge in Executable Acceptance Test Driven Development
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
Shelly Park, Frank Maurer
ICSE
2012
IEEE-ACM
12 years 6 days ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
VLDB
2005
ACM
109views Database» more  VLDB 2005»
14 years 3 months ago
Parallel Execution of Test Runs for Database Application Systems
In a recent paper [8], it was shown how tests for database application systems can be executed efficiently. The challenge was to control the state of the database during testing ...
Florian Haftmann, Donald Kossmann, Eric Lo