Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Seattle, WA, November 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (23 citations) (Correct)
.... from the derivation of test cases, to the actual test execution and even to the analysis of test results [34] 132] Some approaches use existing specification languages [16] 61] and others have their own (specialized) languages for the description of test cases and test execution [24] 34] [76] [132] 136] All of these works are complementary to the approach described here, since, except as noted above, they solve the problem of defining test cases which I do not attempt to solve, and they do not solve the problem of easing the task of writing test oracles, which I partially solve. I ....
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of OOPSLA '02 Conference on Object-Oriented Programming, Languages, Systems, and Applications, volume 37(11) of SIGPLAN Notices, pages 231--245, New York, NY, November 2002. ACM.
How the Design of JML Accommodates Both Runtime.. - Leavens, Cheon.. (2004) (4 citations) (Correct)
....have side e#ects cannot be used in specification expressions. JML s specification expressions are based on a subset of the Java programming language, a design that is more congenial to Java programmers. The Alloy Annotation Language (AAL) o#ers a syntax similar to JML for annotating Java programs [46]. AAL supports extensive compile time checking based on static analysis techniques. Unlike similar static analysis tools such as ESC Java [18] AAL also supports method calls and relational expressions in assertions. However, AAL s assertion language is based on a simple first order logic with ....
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of OOPSLA '02 Conference on Object-Oriented Programming, Languages, Systems, and Applications, volume 37(11) of SIGPLAN Notices, pages 231--245, New York, NY, November 2002. ACM.
Pipa: A Behavioral Interface Specification Language for AspectJ - Zhao, Rinard (Correct)
....of Design By Contract (DBC) originally introduced by Meyer in Ei#el [18] Examples include iContract [15] and Jass [3] Recently, the emergence of Java as a popular object oriented programming language has led to several BISLs designed for Java. Examples include JML [16] ESC Java [6] and AAL [12]. JML allows assertions to be specified for Java classes and interfaces, and provide very expressive power to specify Java modules (classes and interfaces) ESC Java is a static checking tool for Java. It can statically check for various errors in a Java program without executing the program. The ....
S. Khurshid, D. Marinov, and D. Jackson. An Analyzable Annotation Language. Proc. ACM SIGPLAN 2002 Conference on Object-Oriented Programming Systems, Languages and Applications, October 2002.
Submitted to the Department of Electrical Engineering and.. - Science In Partial Self-citation (Jackson) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Seattle, WA, November 2002.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) Self-citation (Khurshid Marinov) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proc. ACM SIGPLAN 2002 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Seattle, WA, Nov 2002.
Unknown - Self-citation (Jackson) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proc. ACM SIGPLAN 2002.
TestEra: A Novel Framework for Testing Java Programs - Khurshid, Marinov (2003) (1 citation) Self-citation (Khurshid Marinov) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proc. ACM SIGPLAN 2002 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Seattle, WA, Nov 2002.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 231--245, Seattle, Washington, November 2002.
Pipa: A Behavioral Interface Specification Language for AspectJ - Zhao, Rinard (Correct)
No context found.
S. Khurshid, D. Marinov, and D. Jackson. An Analyzable Annotation Language. Proc. ACM SIGPLAN 2002 Conference on Object-Oriented Programming Systems, Languages and Applications, October 2002.
Pluggable Verification Modules: An Extensible Protection Mechanism .. - Fong (2004) (1 citation) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In on Object-Oriented Programming, Systems, Languages, and Applications, pages 231--245, Seattle, Washington, November 2002.
Checking Strong Specifications Using an Extensible .. - Robby.. (2003) (1 citation) (Correct)
No context found.
S. Khurshid, D. Marinov, and D. Jackson. An analyzable annotation language. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, 2002.
Pluggable Verification Modules: An Extensible Protection Mechanism .. - Fong (2003) (1 citation) (Correct)
No context found.
Sarfraz Khurshid, Darko Marinov, and Daniel Jackson. An analyzable annotation language. In Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 231--245, Seattle, Washington, November 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC