Abstract State Machines 2003 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540006244, 9783540364986
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Experiments with Test Case Generation and Runtime Analysis

2003 ◽  
pp. 87-108 ◽  
Author(s):  
Cyrille Artho ◽  
Doron Drusinksy ◽  
Allen Goldberg ◽  
Klaus Havelund ◽  
Mike Lowry ◽  
...  
Keyword(s):  
Runtime Analysis ◽  
Test Case Generation ◽  
Test Case

Using ASM Specifications for Compiler Testing

2003 ◽  
pp. 415-415 ◽  
Author(s):  
Alexey Kalinov ◽  
Alexandre Kossatchev ◽  
Alexander Petrenko ◽  
Mikhail Posypkin ◽  
Vladimir Shishko
Keyword(s):  
Compiler Testing

AsmL Specification of a Ptolemy II Scheduler

2003 ◽  
pp. 417-417
Author(s):  
Daniel Lázaro Cuadrado ◽  
Peter Koch ◽  
Anders P. Ravn
Load More ...
Sign in / Sign up

Export Citation Format

Share Document