Translating Object-Z specifications to object-oriented test oracles

Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference ◽

10.1109/apsec.1997.640198 ◽

2002 ◽

Cited By ~ 5

Author(s):

J. McDonald ◽

L. Murray ◽

P. Strooper

Keyword(s):

Object Oriented ◽

Test Oracles

Download Full-text

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software

2011 International Symposium on Empirical Software Engineering and Measurement ◽

10.1109/esem.2011.9 ◽

2011 ◽

Cited By ~ 3

Author(s):

Wladimir Araujo ◽

Lionel C. Briand ◽

Yvan Labiche

Keyword(s):

Object Oriented ◽

Test Oracles ◽

Race Conditions ◽

Detection And Diagnosis

Download Full-text

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software

IEEE Transactions on Software Engineering ◽

10.1109/tse.2014.2339829 ◽

2014 ◽

Vol 40 (10) ◽

pp. 971-992 ◽

Cited By ~ 7

Author(s):

Wladimir Araujo ◽

Lionel C. Briand ◽

Yvan Labiche

Keyword(s):

Object Oriented ◽

Test Oracles ◽

Functional Faults ◽

Detection And Diagnosis

Download Full-text

Assessing the effectiveness of design contracts as test oracles in the detection of faults in concurrent object-oriented software

10.22215/etd/2010-09638 ◽

2010 ◽

Cited By ~ 1

Author(s):

Wladimir Araujo

Keyword(s):

Object Oriented ◽

Test Oracles

Download Full-text

Solving Laboratory Automation Problems by Using an Object-Oriented Framework Based on Business Objects

JALA Journal of the Association for Laboratory Automation ◽

10.1016/s1535-5535(04)80001-7 ◽

1999 ◽

Vol 4 (1) ◽

pp. 22-25

Author(s):

A Kumar

Keyword(s):

Object Oriented ◽

Laboratory Automation ◽

Business Objects

Download Full-text

Object-oriented programming

AccessScience ◽

10.1036/1097-8542.757337 ◽

2015 ◽

Keyword(s):

Object Oriented ◽

Object Oriented Programming

Download Full-text

Applying OMT—A Practical Step-by-Step Guide to Using the Object Oriented Modelling Technique

Journal of the Operational Research Society ◽

10.1038/sj.jors.2600596 ◽

1997 ◽

Vol 48 (4) ◽

pp. 451-452 ◽

Cited By ~ 2

Author(s):

K W Derr

Keyword(s):

Object Oriented ◽

Modelling Technique ◽

Object Oriented Modelling

Download Full-text

Early generation of performance models for object-oriented systems

IEE Proceedings - Software ◽

10.1049/ip-sen:20000755 ◽

2000 ◽

Vol 147 (3) ◽

pp. 61 ◽

Cited By ~ 8

Author(s):

V. Cortellessa ◽

G. Iazeolla ◽

R. Mirandola

Keyword(s):

Object Oriented ◽

Performance Models ◽

Early Generation ◽

Object Oriented Systems

Download Full-text

Object-oriented approach

IEE Review ◽

10.1049/ir:19900143 ◽

1990 ◽

Vol 36 (9) ◽

pp. 338

Author(s):

Stephen Wilson

Keyword(s):

Object Oriented ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text

Vista: a user interface for a distributed object-oriented software engineering environment

Software Engineering Journal ◽

10.1049/sej.1992.0003 ◽

1992 ◽

Vol 7 (1) ◽

pp. 25 ◽

Cited By ~ 1

Author(s):

T. Rodden ◽

P. Sawyer ◽

I. Sommerville

Keyword(s):

User Interface ◽

Software Engineering ◽

Object Oriented ◽

Distributed Object ◽

Engineering Environment

Download Full-text

Adding rigour to object-oriented analysis

Software Engineering Journal ◽

10.1049/sej.1996.0037 ◽

1996 ◽

Vol 11 (5) ◽

pp. 270 ◽

Cited By ~ 13

Author(s):

Ana M.D. Moreira ◽

Robert G. Clark

Keyword(s):

Object Oriented ◽

Object Oriented Analysis

Download Full-text