Sciweavers

12745 search results - page 1 / 2549
» Automating test automation
Sort
View
83
Voted
LICS
2002
IEEE
15 years 6 months ago
A Fully Abstract May Testing Semantics for Concurrent Objects
Alan Jeffrey, Julian Rathke
104
Voted
LICS
1999
IEEE
15 years 5 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen
87
Voted
DLOG
1996
15 years 2 months ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
75
Voted
STTT
2008
83views more  STTT 2008»
15 years 1 months ago
Automating test automation
Andrej Pietschker
115
Voted
COMPSAC
2007
IEEE
15 years 7 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