Specifying and checking method call sequences of Java programs
Y Cheon, A Perumandla - Software Quality Journal, 2007 - Springer
In a pre and postcondition-style specification, it is difficult to specify the allowed sequences
of method calls, referred to as protocols. The protocols are essential properties of reusable …
of method calls, referred to as protocols. The protocols are essential properties of reusable …
Black-box testing of grey-box behavior
B Tyler, N Soundarajan - Formal Approaches to Software Testing: Third …, 2004 - Springer
Object-oriented frameworks are designed to provide functionality common to a variety of
applications. Developers use these frameworks in building their own specialized …
applications. Developers use these frameworks in building their own specialized …
Specifying and checking method call sequences in JML
Y Cheon, A Perumandla - 2005 - scholarworks.utep.edu
In a pre-and post-conditions style specification, it is difficult to specify allowed sequences of
method calls, often called protocols. However, the protocols are essential properties of …
method calls, often called protocols. However, the protocols are essential properties of …
Designing a flexible framework for a table abstraction
HC Cunningham, Y Liu, J Wang - Data Engineering: Mining, Information …, 2010 - Springer
In a provocative essay from the mid-1980s, Brooks asserts that “building software will always
be hard” because software systems are inherently complex, must conform to all sorts of …
be hard” because software systems are inherently complex, must conform to all sorts of …
A behavioral model for software containers
N Sridhar, JO Hallstrom - International Conference on Fundamental …, 2006 - Springer
Software containers present an effective mechanism for decoupling cross-cutting concerns
in software. System-wide concerns such as persistence, transaction management, security …
in software. System-wide concerns such as persistence, transaction management, security …
[PDF][PDF] Testing components
N Soundarajan, B Tyler - SAVCBS 2001 Proceedings, 2001 - eecs.ucf.edu
Our goal is to investigate specification-based approaches to testing OO components. That is,
given a class C and its specification, how do we test C to see if it meets its specification …
given a class C and its specification, how do we test C to see if it meets its specification …
Specification-based incremental testing of object oriented systems
N Soundarajan, B Tyler - Proceedings 39th International …, 2001 - ieeexplore.ieee.org
Inheritance allows us to build OO systems incrementally. In order to exploit the full potential
of inheritance, we also need to be able to test systems incrementally. We present a …
of inheritance, we also need to be able to test systems incrementally. We present a …
[PDF][PDF] Testing polymorphic behavior
N Soundarajan, B Tyler - Journal of Object Technology, 2002 - Citeseer
Our goal is to investigate specification-based approaches to testing OO components. That is,
given a class C and its specification, how do we test C to see if it meets its specification …
given a class C and its specification, how do we test C to see if it meets its specification …
[PDF][PDF] Incremental development using object oriented frameworks: A case study
J Hallstrom, N Soundarajan - Journal of Object Technology, 2002 - jot.fm
The object oriented framework-based approach is one of the most powerful approaches to
incremental development. In this paper we report on our experiences in applying the …
incremental development. In this paper we report on our experiences in applying the …
[LIVRE][B] Design pattern contracts
JO Hallstrom - 2004 - search.proquest.com
A design pattern describes a commonly recurring problem in the design of object-oriented
software, a solution to that problem, and the context in which the solution can be applied …
software, a solution to that problem, and the context in which the solution can be applied …