Author:
Crispim Pedro,Lopes Antónia,Vasconcelos Vasco T.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Antoy, S., Hamlet, R.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering 26(1), 55–69 (2000)
2. Lecture Notes in Computer Science;D. Aspinall,2002
3. Barnett, M., Schulte, W.: Runtime verification of .NET contracts. Journal of Systems and Software 65(3), 199–208 (2003)
4. Lecture Notes in Computer Science,2004
5. Bracha, G.: Generics in the Java programming language (2004),
ava.sun.com/j2se/1.5/pdf/generics-tutorial.pdf
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Specification in CASL;Texts in Theoretical Computer Science. An EATCS Series;2022
2. Testing Java implementations of algebraic specifications;Electronic Proceedings in Theoretical Computer Science;2013-03-02
3. Specification-Driven Unit Test Generation for Java Generic Classes;Lecture Notes in Computer Science;2012