| Software testing and analysis: process, principles, and techniques M Pezzè, M Young John Wiley & Sons, 2008 | 653 | 2008 |
| Test oracles L Baresi, M Young Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and …, 2001 | 235 | 2001 |
| Compositional reachability analysis using process algebra WJ Yeh, M Young Proceedings of the symposium on Testing, analysis, and verification, 49-59, 1991 | 190 | 1991 |
| Residual test coverage monitoring C Pavlopoulou, M Young Proceedings of the 21st international conference on Software engineering …, 1999 | 180 | 1999 |
| Combining static concurrency analysis with symbolic execution M Young, RN Taylor IEEE Transactions on Software Engineering 14 (10), 1499-1511, 1988 | 132 | 1988 |
| Rethinking the taxonomy of fault detection techniques M Young, RN Taylor Proceedings of the 11th international conference on Software engineering, 53-62, 1989 | 71 | 1989 |
| Software environment architectures and user interface facilities M Young, RN Taylor, DB Troup IEEE Transactions on Software Engineering 14 (6), 697-708, 1988 | 62 | 1988 |
| 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 | 60 | 1995 |
| Teste e análise de software: processos, princípios e técnicas M Pezzè, M Young Bookman Editora, 2009 | 58 | 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 | 58 | 1989 |
| 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 | 54 | 1995 |
| Arcadia, a software development environment research project RN Taylor, L Clarke, LJ Osterweil, JC Wileden, M Young | 43 | 1985 |
| Testing object-oriented software M Pezze, M Young Proceedings. 26th International Conference on Software Engineering, 739-740, 2004 | 33 | 2004 |
| 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 | 28 | 2000 |
| 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 | 27 | 1994 |
| Software testen und analysieren: Prozesse, Prinzipien und Techniken M Pezzè, M Young Oldenbourg, 2009 | 25 | 2009 |
| 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 | 25 | 1997 |
| 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 |
| Transactions with isolation and cooperation Y Smaragdakis, A Kay, R Behrends, M Young ACM SIGPLAN Notices 42 (10), 191-210, 2007 | 21 | 2007 |
| 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 | 20 | 1994 |
Richard TaylorProfessor of Information and Computer Sciences, University of California, IrvineVerified email at ics.uci.edu
