Analyzing interaction orderings with model checking

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 154-163

  Dwyer, Matthew B ^a   Robby, ^a   Tkachuk, Oksana ^a   Visser, Willem ^b  

^a KANSAS STATE UNIVERSITY   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-HANDLERS; LIVE-SUBJECT TESTING; OBJECT REFERENCING RELATIONSHIPS; SOFTWARE-INTENSIVE SYSTEMS;

COMPUTER SOFTWARE; COMPUTER SYSTEMS; ERGONOMICS; GRAPHICAL USER INTERFACES; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

HUMAN COMPUTER INTERACTION;

EID: 15844397280     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342733     Document Type: Conference Paper

References (22)

1. G. Behrmann, K. G. Larsen, and R. Pelanek. To store or not to store. In Computer Aided Verification, pages 433-445, Sept. 2003.
2. J. Berstel, S. C. Reghizzi, G. Roussel, and P. San Pietro. A scalable formal method for design and automatic checking of user interfaces. In Proceedings of the 23rd international conference on Software engineering, pages 453-462, 2001.
3. J. Campos and M. Harrison. Model checking interactor specifications. Automated Software Engineering, 3(8):275-310, Aug. 2001.
4. J. Chen. Formal modelling of Java GUI event handling. In Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Oct. 2002.
5. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.
6. X. Deng, M. B. Dwyer, J. Hatcliff, G. Jung, and Robby. Modelchecking middleware-based event-driven real-time embedded software. In Proceedings of the 1st International Symposium on Formal Methods for Components and Objects, Nov. 2002.
7. M. B. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering, May 1999.
8. M. B. Dwyer, V. Carr, and L. Hines. Model checking graphical user interfaces using abstractions. In Proceedings of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1301 of Lecture Notes in Computer Science, pages 244-261. Springer-Verlag, Sept. 1997.
9. M. B. Dwyer, J. Hatcliff, V. Ranganath, and Robby. Exploiting object escape and locking information in partial order reduction for concurrent object-oriented programs. Formal Methods in System Design, 2004. (to appear).
10. M. B. Dwyer, Robby, X. Deng, and J. Hatcliff. Space reductions for model checking quasi-cyclic systems. In Proceedings of the 3rd International Conference on Embedded Software, Oct. 2003.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley Pub. Co., Jan. 1995.
12. P. Graunke, R. Findler, S. Krishnamurthi, and M. Felleisen. Modeling web interactions. In In Proc, 12th European Symposium on Programming, Lecture Notes in Computer Science, Warsaw, Poland, Apr. 2003. SpringerVerlag., 2003.
13. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-294, May 1997.
14. G. Lüttgen and V. Carreño. Analyzing mode confusion via model checking. In D. Dams, R. Gerth, S. Leue, and M. Massink, editors, Theoretical and Practical Aspects of SPIN Model Checking (SPIN '99), volume 1680 of Lecture Notes in Computer Science, pages 120-135, Toulouse, France, September 1999. Springer-Verlag.
15. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
16. A. M. Memon, I. Banerjee, and A. Nagarajan. Gui ripping: Reverse engineering of graphical user interfaces for testing. In 10th Working Conference on Reverse Engineering (WCRE'03), pages 260-269, 2003.
17. F. Paterno and C. Santoro. Integrating model checking and HCI tools to help designers verify user interface properties. In Interactive Systems - Design, Specification, and Verification: 7th International Workshop, June 2003.
18. Robby, M. B. Dwyer, and J. Hatcliff. Bogor: An extensible and highly-modular model checking framework. In Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2003.
19. J. Rushby. Using model checking to help discover mode confusions and other automation surprises. In D. Javaux, editor, Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSD'99), June 1999.
20. O. Tkachuk and M. B. Dwyer. Adapting side effects analysis for modular program model checking. In Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pages 188-197. ACM Press, 2003.
21. O. Tkachuk, M. B. Dwyer, and C. S. Pǎsǎreanu. Automated environment generation for software model checking. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Oct. 2003.
22. W. Visser, G. Brat, K. Havelund, and S. Park. Model checking programs. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering, Sept. 2000.