Model checking graphical user interfaces using abstractions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1301, Issue , 1997, Pages 244-261

  Dwyer, Matthew B ^a   Carr, Vicki ^a   Hines, Laura ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; GRAPHICAL USER INTERFACES; SPECIFICATIONS;

DOMAIN SPECIFIC MODELING; DYNAMIC PROPERTY; FINITE STATE SPACES; GRAPHICAL USER INTERFACES (GUI); NATURALLY OCCURRING; SOFTWARE SYSTEMS; STRUCTURAL CHARACTERISTICS; SYMBOLIC MODEL CHECKING;

MODEL CHECKING;

EID: 84949429551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63531-9_18     Document Type: Conference Paper

References (17)

1. R. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D. Notkin, and J. Reese. Model checking large software specifications. Software Engineering Notes, 21(6):156-166, Nov. 1996. Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering.
2. G. Avrunin, U. Buy, J. Corbett, L. Dillon, and J. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Transactions on Software Engineering, 17(11):1204-1222, Nov. 1991.
3. E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, Sept. 1994.
4. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, Jan. 1993.
5. J. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3), Mar. 1996.
6. D. Dams. Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, May 1996.
7. L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna. A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology, 3(2):131-165, Apr. 1994.
8. M. Dwyer and L. Clarke. Data flow analysis for verifying properties of concurrent programs. Software Engineering Notes, 19(5):62-75, Dec. 1994. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
9. D. Jackson. Abstract model checking of infinite specifications. In Proceedings of FME’94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, pages 519-531, Oct. 1994. Springer-Verlag.
10. R. Jacob. Using formal specifications in the design of a human-computer interface. Communications of the ACM, 26(4):259-264, Apr. 1983.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1991.
12. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
13. B. Myers. User interface software tools. ACM Transactions on Computer Human Interaction, 2(1):64-103, Mar. 1995.
14. K. Olender and L. Osterweil. Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions on Software Engineering, 16(3):268-280, Mar. 1990.
15. A. Wasserman. Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, SE-11(8):699-713, Aug. 1985.
16. J. Wing and M. Vaziri-Farahani. Model checking software systems: A case study. Software Engineering Notes, 20(4):128-139, Oct. 1995. Proceedings of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering.
17. M. Young, R. Taylor, D. Levine, K. Nies, and D. Brodbeck. A concurrency analysis tool suite: Rationale, design, and preliminary experience. ACM Transactions on Software Engineering and Methodology, 4(1):64-106, Jan. 1995.