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
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
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
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
Teste e análise de software: processos, princípios e técnicas
M Pezzè, M Young
Bookman Editora, 2009
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
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
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
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
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
Software testen und analysieren: Prozesse, Prinzipien und Techniken
M Pezzè, M Young
Oldenbourg, 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
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