Sciweavers

4299 search results - page 12 / 860
» Concurrent Test Generation
Sort
View
PPPJ
2009
ACM
14 years 3 months ago
ConcJUnit: unit testing for concurrent programs
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...
Mathias Ricken, Robert Cartwright
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 1 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
CAV
2009
Springer
171views Hardware» more  CAV 2009»
14 years 9 months ago
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik...
KBSE
2003
IEEE
14 years 1 months ago
Testing Database Transaction Concurrency
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen