43 search results - page 2 / 9 » Basset: a tool for systematic testing of actor programs |
ADAEUROPE
1997
Springer
13 years 9 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
CAV
2006
Springer
13 years 9 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
DAWAK
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
SIGMOD
2012
ACM
11 years 7 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...