4895 search results - page 102 / 979 » Tools for Grammar Engineering |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...