Sciweavers

12745 search results - page 1 / 2549
» Automating test automation
Sort
View
80
Voted
LICS
2002
IEEE
15 years 5 months ago
A Fully Abstract May Testing Semantics for Concurrent Objects
Alan Jeffrey, Julian Rathke
98
Voted
LICS
1999
IEEE
15 years 4 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen
85
Voted
DLOG
1996
15 years 1 months ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
STTT
2008
83views more  STTT 2008»
15 years 10 days ago
Automating test automation
Andrej Pietschker
COMPSAC
2007
IEEE
15 years 6 months ago
Automated Testing EJB Components Based on Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
Liang Kong, Hong Zhu, Bin Zhou