Domain partitioning for open reactive systems

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis

Volumn , Issue , 2002, Pages 44-54

  Stoller, Scott D ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SIMULATION; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; SECURITY OF DATA; STATE SPACE METHODS;

OPEN REACTIVE SYSTEMS;

OPEN SYSTEMS;

EID: 0036980278     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/566171.566179     Document Type: Conference Paper

References (9)

1. Christopher Colby, Patrice Godefroid, and Lalita Jagadeesan. Automatically closing open reactive programs. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 345-357, 1998.
2. Patrice Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th ACM Symposium on Principles of Programming Languages (POPL), pages 174-186. ACM Press, 1997.
3. Patrice Godefroid, Robert S. Hanmer, and Lalita Jagadeesan. Model checking without a model: An analysis of the heart-beat monitor of a telephone switch using VeriSoft. In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA), pages 124-133. ACM Press, 1998.
4. Gavin Lowe. Casper: A compiler for the analysis of security protocols. In Proc. 10th IEEE Computer Security Foundations Workshop (CSFW), 1997.
5. Dahlia Malkhi and Michael Reiter. Secure and scalable replication in Phalanx. In Proc. 17th IEEE Symposium on Reliable Distributed Systems, pages 51-60, 1998.
6. Debra J. Richardson and Lori A. Clarke. Partition analysis: A method combining testing and verification. IEEE Transactions on Software Engineering, 11(12):1477-1490, December 1985.
7. A. W. Roscoe and M.H. Goldsmith. The perfect "spy" for model-checking cryptoprotocols. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, September 1997.
8. Scott D. Stoller. Domain partitioning for open reactive systems. Technical Report DAR-02-6, SUNY at Stony Brook, Computer Science Dept., February 2002. Available at www.cs.sunysb.edu/̃stoller/partn.html.
9. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. In Proc. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 187-206, October 1999.