Michal Young
Michal Young
Associate Professor of Computer Science, University of Oregon
Verified email at
Cited by
Cited by
Software testing and analysis: process, principles, and techniques
M Pezzè, M Young
John Wiley & Sons, 2008
Test oracles
L Baresi, M Young
Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and …, 2001
Compositional reachability analysis using process algebra
WJ Yeh, M Young
Proceedings of the symposium on Testing, analysis, and verification, 49-59, 1991
Residual test coverage monitoring
C Pavlopoulou, M Young
Proceedings of the 21st international conference on Software engineering …, 1999
Combining static concurrency analysis with symbolic execution
M Young, RN Taylor
IEEE Transactions on Software Engineering 14 (10), 1499-1511, 1988
Rethinking the taxonomy of fault detection techniques
M Young, RN Taylor
Proceedings of the 11th international conference on Software engineering, 53-62, 1989
Software environment architectures and user interface facilities
M Young, RN Taylor, DB Troup
IEEE Transactions on Software Engineering 14 (6), 697-708, 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
Teste e análise de software: processos, princípios e técnicas
M Pezzè, M Young
Bookman Editora, 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
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
Arcadia, a software development environment research project
RN Taylor, L Clarke, LJ Osterweil, JC Wileden, M Young
Testing object-oriented software
M Pezze, M Young
Proceedings. 26th International Conference on Software Engineering, 739-740, 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
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
Software testen und analysieren: Prozesse, Prinzipien und Techniken
M Pezzè, M Young
Oldenbourg, 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
Correctness criteria and concurrency control for real-time systems: a survey
LC Shu, M Young
Technical Report SERC-TR-131-P, Purdue University, 1992
Transactions with isolation and cooperation
Y Smaragdakis, A Kay, R Behrends, M Young
ACM SIGPLAN Notices 42 (10), 191-210, 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
The system can't perform the operation now. Try again later.
Articles 1–20