Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008 | 703 | 2008 |
Foundations for the Arcadia environment architecture RN Taylor, FC Belz, LA Clarke, L Osterweil, RW Selby, JC Wileden, ... Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium …, 1988 | 368 | 1988 |
Test oracles L Baresi, M Young Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and …, 2001 | 241 | 2001 |
Compositional reachability analysis using process algebra WJ Yeh, M Young Proceedings of the symposium on Testing, analysis, and verification, 49-59, 1991 | 193 | 1991 |
Residual test coverage monitoring C Pavlopoulou, M Young Proceedings of the 21st international conference on Software engineering …, 1999 | 183 | 1999 |
Combining static concurrency analysis with symbolic execution M Young, RN Taylor IEEE Transactions on Software Engineering 14 (10), 1499-1511, 1988 | 135 | 1988 |
Rethinking the taxonomy of fault detection techniques M Young, RN Taylor Proceedings of the 11th international conference on Software engineering, 53-62, 1989 | 67 | 1989 |
Software environment architectures and user interface facilities M Young, RN Taylor, DB Troup IEEE Transactions on Software Engineering 14 (6), 697-708, 1988 | 67 | 1988 |
Teste e análise de software: processos, princípios e técnicas M Pezzè, M Young Bookman Editora, 2009 | 61 | 2009 |
Integrated concurrency analysis in a software development enviornment M Young, R Taylor, K Forester, D Brodbeck ACM SIGSOFT Software Engineering Notes 14 (8), 200-209, 1989 | 61 | 1989 |
Graph models for reachability analysis of concurrent programs M Pezze, RN Taylor, M Young ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 171-213, 1995 | 58 | 1995 |
A concurrency analysis tool suite for Ada programs: Rationale, design, and preliminary experience M Young, RN Taylor, DL Levine, KA Nies, D Brodbeck ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (1), 65-106, 1995 | 52 | 1995 |
Arcadia, a software development environment research project RN Taylor, L Clarke, LJ Osterweil, JC Wileden, M Young | 47 | 1985 |
Testing object-oriented software M Pezze, M Young Proceedings. 26th International Conference on Software Engineering, 739-740, 2004 | 33 | 2004 |
A mixed locking/abort protocol for hard real-time systems LC Shu, M Young Proceedings of 11th IEEE Workshop on Real-Time Operating Systems and …, 1994 | 30 | 1994 |
Compiler and tool support for debugging object protocols S Butkevich, M Renedo, G Baumgartner, M Young ACM SIGSOFT Software Engineering Notes 25 (6), 50-59, 2000 | 27 | 2000 |
Constructing multi-formalism state-space analysis tools: Using rules to specify dynamic semantics of models M Pezze, M Young Proceedings of the 19th international conference on Software engineering …, 1997 | 26 | 1997 |
Software testen und analysieren: Prozesse, Prinzipien und Techniken M Pezzè, M Young Oldenbourg, 2009 | 25 | 2009 |
Correctness criteria and concurrency control for real-time systems: a survey LC Shu, M Young Technical Report SERC-TR-131-P, Purdue University, 1992 | 24 | 1992 |
An abort ceiling protocol for controlling priority inversion L Shu, M Young, R Rajkumar Proceedings of 1st International Workshop on Real-time Computing Systems …, 1994 | 22 | 1994 |