544 search results - page 6 / 109 » Testing concurrent programs using value schedules |
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
ISSRE
2006
IEEE
15 years 3 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
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...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
EUROGP
2006
Springer
15 years 1 months ago
2006
Springer
This paper investigates the use of genetic programming in automatized synthesis of scheduling heuristics. The applied scheduling technique is priority scheduling, where the next st...