Validation of contracts using enabledness preserving finite state abstractions

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 452-462

  De Caso, Guido ^a   Braberman, Víctor ^a   Garbervetsky, Diego ^a   Uchitel, Sebastián ^a,b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BASED SPECIFICATION; BEHAVIOUR MODELS; FINITE MODEL; FINITE-STATE ABSTRACTION; INDUSTRIAL STRENGTH; LEVEL OF ABSTRACTION; NOVEL TECHNIQUES; PRE/POST CONDITIONS; PROTOCOL SPECIFICATIONS;

ABSTRACTING; COMPUTER SOFTWARE;

SPECIFICATIONS;

EID: 77949888589     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070544     Document Type: Conference Paper

References (22)

1. [MS-NNS]: .NET NegotiateStream Protocol Specification v2.0, July 2008. http://msdn.microsoft.com/enus/ library/cc236723.aspx.
2. R. Alur, P. Černỳ, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 98-109, 2005.
3. T. Ball and S. Rajamani. The SLAM project: debugging system software via static analysis. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2002.
4. th International Conference on Computer Aided Verification (CAV '04), July 2004. Boston, Massachusetts.
5. R. DeLine and M. Fahndrich. Typestates for Objects. Ecoop 2004-Object-Oriented Programming: 18th European Conference, Oslo, Norway, June, 2004: Proceedings, 2004.
6. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 2007.
7. M. Gabel and Z. Su. Symbolic mining of temporal specifications. Proceedings of the 13th international conference on Software engineering, pages 51-60, 2008.
8. W. Grieskamp, N. Kicillof, D. MacDonald, A. Nandan, K. Stobie, and F. L. Wurden. Model-based quality assurance of Windows protocol documentation. In ICST, pages 502-506. IEEE Computer Society, 2008.
9. W. Grieskamp, N. Kicillof, and N. Tillmann. Action machines: a framework for encoding and composing partial behaviors. International Journal of Software Engineering and Knowledge Engineering, 16(5):705-726, 2006.
10. D. Lee and M. Yannakakis. Online minimization of transition systems (extended abstract). Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, pages 264-274, 1992.
11. E. Letier, J. Kramer, J. Magee, and S. Uchitel. Deriving event-based transition systems from goal-oriented requirements models. Automated Software Engineering Journal, 15(2):175-206, 2008.
12. M. Leuschel and M. Butler. ProB: an automated analysis toolset for the B method. International Journal on Software Tools for Technology Transfer (STTT), 10(2):185-203, 2008.
13. J. Linn. RFC1508: Generic Security Service Application Program Interface. RFC Editor United States, 1993.
14. B. Meyer. Applying design by contract. Computer, 25(10):40-51, 1992.
15. C. Nebut, F. Fleurey, Y. Le Traon, and J. Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE TSE, pages 140-155, 2006.
16. N. Polikarpova, I. Ciupa, and B. Meyer. A comparative study of programmer-written and automatically inferred contracts. month, 9(608):11, 2008.
17. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, 1995.
18. J. Sun and J. Dong. Design Synthesis from Interaction and State-Based Specifications. IEEE TSE, 2006.
19. S. Tripakis and S. Yovine. Analysis of Timed Systems Using Time-Abstracting Bisimulations. Formal Methods in System Design, 18(1):25-68, 2001.
20. T. Uribe, C. S. Dept, and S. University. Abstraction-based Deductive-algorithmic Verification of Reactive Systems. Stanford University, Dept. of Computer Science, 1999.
21. H. Van, A. van Lamsweerde, P. Massonet, and C. Ponsard. Goal-oriented requirements animation. In Requirements Engineering Conference, 2004., pages 218-228, 2004.
22. J. Whittle and J. Schumann. "Generating Statechart Designs from Scenarios". In ICSE'00, pages 314-323, 2000.