Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769517579

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Interclass testing of object oriented software

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181506 ◽

2003 ◽

Cited By ~ 14

Author(s):

V. Martena ◽

A. Orso ◽

M. Pezze

Keyword(s):

Object Oriented

Download Full-text

A light-weight process for capturing and evolving defect reduction experience

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181505 ◽

2003 ◽

Cited By ~ 1

Author(s):

V.R. Basili ◽

M. Lindvall ◽

F. Shull

Keyword(s):

Light Weight ◽

Defect Reduction

Download Full-text

Integrating CSP and DC

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181497 ◽

2003 ◽

Cited By ~ 2

Author(s):

He Jifeng

Download Full-text

Mars Polar Lander fault identification using model-based testing

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181509 ◽

2003 ◽

Cited By ~ 1

Author(s):

M. Blackburn ◽

R. Busser ◽

A. Nauman ◽

R. Knickerbocker ◽

R. Kasuda

Keyword(s):

Fault Identification ◽

Model Based ◽

Model Based Testing

Download Full-text

Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181499 ◽

2003 ◽

Cited By ~ 2

Author(s):

M. Besta ◽

F. Stomp

Keyword(s):

Pattern Matching ◽

Matching Algorithm ◽

Pattern Matching Algorithm

Download Full-text

Validating run-time interactions in distributed Java applications

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181493 ◽

2003 ◽

Cited By ~ 3

Author(s):

S. Ghosh ◽

N. Bawa ◽

S. Goel ◽

Y.R. Reddy

Keyword(s):

Run Time

Download Full-text

A perturbation-based testing strategy

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181507 ◽

2003 ◽

Cited By ~ 1

Author(s):

B. Murrill ◽

L. Morell ◽

E. Olimpiew

Keyword(s):

Testing Strategy

Download Full-text

Managing software evolution with a formalized abstraction hierarchy

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181515 ◽

2003 ◽

Cited By ~ 5

Author(s):

T. Aaltonen ◽

T. Mikkonen

Keyword(s):

Software Evolution

Download Full-text

Execution of TILCO temporal logic specifications

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181500 ◽

2003 ◽

Cited By ~ 5

Author(s):

P. Bellini ◽

A. Giotti ◽

P. Nesi

Keyword(s):

Temporal Logic

Download Full-text

Efficient reachability testing of asynchronous message-passing programs

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings. ◽

10.1109/iceccs.2002.1181496 ◽

2003 ◽

Cited By ~ 10

Author(s):

Yu Lei ◽

Kuo-Chung Tai

Keyword(s):

Message Passing ◽

Reachability Testing ◽

Message Passing Programs

Download Full-text

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Interclass testing of object oriented software

A light-weight process for capturing and evolving defect reduction experience

Integrating CSP and DC

Mars Polar Lander fault identification using model-based testing

Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm

Validating run-time interactions in distributed Java applications

A perturbation-based testing strategy

Managing software evolution with a formalized abstraction hierarchy

Execution of TILCO temporal logic specifications

Efficient reachability testing of asynchronous message-passing programs

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings.
Latest Publications