2002 journal article
A test generation strategy for pairwise testing
IEEE Transactions on Software Engineering, 28(1), 109–111.
2002 journal article
Incremental integration testing of concurrent programs
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 28(6), 607–623.
2000 chapter
Model checking based on simultaneous reachability analysis
In SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 (Vol. 1885, pp. 34–53). Berlin; New York: Springer.
1999 journal article
Interclass test order for object-oriented software
Journal of Object-Oriented Programming, 12(4), 18-.
1998 journal article
Synchronizable test sequences of finite state machines
COMPUTER NETWORKS AND ISDN SYSTEMS, 30(12), 1111–1134.
1998 journal article
Use of sequencing constraints for specification-based testing of concurrent programs
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(6), 471–490.
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.