Michal Young
Michal Young
Associate Professor of Computer Science, University of Oregon
Verified email at cs.uoregon.edu
TitleCited byYear
Software testing and analysis: process, principles, and techniques
M Pezze, M Young
John Wiley & Sons, 2008
4612008
Test oracles
L Baresi, M Young
Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and …, 2001
2032001
Compositional reachability analysis using process algebra
WJ Yeh, M Young
Symposium on Testing, Analysis, and Verification, 49-59, 1991
1641991
Residual test coverage monitoring
C Pavlopoulou, M Young
Proceedings of the 1999 International Conference on Software Engineering …, 1999
1581999
Combining static concurrency analysis with symbolic execution
M Young, RN Taylor
IEEE Transactions on Software Engineering 14 (10), 1499-1511, 1988
1161988
Rethinking the taxonomy of fault detection techniques
M Young, RN Taylor
11th International Conference on Software Engineering, 53-62, 1989
581989
Software environment architectures and user interface facilities
M Young, RN Taylor, DB Troup
IEEE Transactions on Software Engineering 14 (6), 697-708, 1988
541988
Graph models for reachability analysis of concurrent programs
M Pezzè, RN Taylor, M Young
ACM Transactions on Software Engineering and Methodology (TOSEM) 4 (2), 171-213, 1995
521995
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
501989
Teste e análise de software: processos, princípios e técnicas
M Pezzè, M Young
Bookman Editora, 2009
492009
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
451995
Arcadia, a Software Development Environment Research Project
RN Taylor, L Clarke, LJ Osterweil, JC Wileden, M Young
Department of Information and Computer Science, University of Calif., Irvine, 1985
401985
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
281994
Testing object-oriented software
M Pezze, M Young
Proceedings. 26th International Conference on Software Engineering, 739-740, 2004
272004
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
262000
Correctness criteria and concurrency control for real-time systems: a survey
LC Shu, M Young
Technical Report SERC-TR-131-P, Purdue University, 1992
241992
An abort ceiling protocol for controlling priority inversion
LC Shu, M Young, R Rajkumar
Proceedings of 1st International Workshop on Real-time Computing Systems …, 1994
231994
Constructing multi-formalism state-space analysis tools: using rules to specify dynamic semantics of models
M Pezzè, M Young
Proceedings of the (19th) International Conference on Software Engineering …, 1997
221997
Software testen und analysieren: Prozesse, Prinzipien und Techniken
M Pezzè, M Young
Oldenbourg, 2009
202009
Transactions with isolation and cooperation
Y Smaragdakis, A Kay, R Behrends, M Young
ACM SIGPLAN Notices 42 (10), 191-210, 2007
182007
The system can't perform the operation now. Try again later.
Articles 1–20