Search Sciweavers | Sciweavers

1414 search results - page 34 / 283

» Automated Metamorphic Testing

Voted

FTCS
1998

75views more FTCS 1998»

Automated Robustness Testing of Off-the-Shelf Software Components

15 years 6 months ago

Download www.ece.cmu.edu

Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. ...

claim paper

Read More »

112

Voted

FLAIRS
2000

108views Artificial Intelligence» more FLAIRS 2000»

Validation of Cryptographic Protocols by Efficient Automated Testing

15 years 6 months ago

Download www.aaai.org

Sigrid Gürgens, René Peralta

claim paper

Read More »

154

click to vote

SDL
1997

134views Hardware» more SDL 1997»

Automating the process of test derivation from SDL specifications

15 years 6 months ago

Download www.site.uottawa.ca

Gregor von Bochmann, Alexandre Petrenko, O. Bellal...

claim paper

Read More »

131

click to vote

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

15 years 6 months ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

110

Voted

CJ
2006

107views more CJ 2006»

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers