Sciweavers

4299 search results - page 154 / 860
» Concurrent Test Generation
Sort
View
144
Voted
IIE
2007
159views more  IIE 2007»
15 years 3 months ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 1 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
101
Voted
ITC
1989
IEEE
70views Hardware» more  ITC 1989»
15 years 7 months ago
The Pseudo-Exhaustive Test of Sequential Circuits
: The concept of a pseudo-exhaustive test for sequential circuits is introduced in a similar way as it is used for combinational networks. Instead of test sets one has to apply pse...
Sybille Hellebrand, Hans-Joachim Wunderlich
ASPLOS
2009
ACM
16 years 4 months ago
CTrigger: exposing atomicity violation bugs from their hiding places
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
Soyeon Park, Shan Lu, Yuanyuan Zhou
144
Voted
AWCC
2004
Springer
15 years 9 months ago
Testing Web Services Using Progressive Group Testing
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...
Wei-Tek Tsai, Yinong Chen, Zhibin Cao, Xiaoying Ba...