Results 21 to 30 of about 35 (34)
Some of the next articles are maybe not open access.
Evaluation of ASLan Mutation Operators
Lecture Notes in Computer Science, 2013Matthias Büchler
exaly
Aslantest: a symbolic execution tool for testing Aslan formal specifications
1994Richard A Kemmerer
exaly
Using the Aslan Formal Specification Language in Undergraduate Software Engineering Courses
Computer Science Education, 1991exaly

