Sciweavers

12745 search results - page 1 / 2549

» Automating test automation

92

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 7 months ago

A Fully Abstract May Testing Semantics for Concurrent Objects

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

118

LICS
1999
IEEE

106views Automated Reasoning» more LICS 1999»

On Hoare Logic and Kleene Algebra with Tests

15 years 7 months ago

On Hoare Logic and Kleene Algebra with Tests

Download www.cparity.com

Dexter Kozen

claim paper

Read More »

101

DLOG
1996

114views Automated Reasoning» more DLOG 1996»

A New Method for Testing Decision Procedures in Modal and Terminological Logics

15 years 4 months ago

A New Method for Testing Decision Procedures in Modal and Terminological Logics

Download www.aaai.org

Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...

claim paper

Read More »

88

STTT
2008

83views more STTT 2008»

Automating test automation

15 years 2 months ago

Automating test automation

Download www.ttcn-3.org

Andrej Pietschker

claim paper

Read More »

129

COMPSAC
2007
IEEE

162views Software Engineering» more COMPSAC 2007»

Automated Testing EJB Components Based on Algebraic Specifications

15 years 9 months ago

Automated Testing EJB Components Based on Algebraic Specifications

Download cms.brookes.ac.uk

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

claim paper

Read More »

« Prev « First page 1 / 2549 Last » Next »