Michal Young

According to our database, Michal Young authored at least 49 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break.

Ziyad Alsaeed, Michal Young

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Finding Short Slow Inputs Faster with Grammar-Based Search.

Ziyad Alsaeed, Michal Young

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2018

Extending Existing Inference Tools to Mine Dynamic APIs.

Ziyad Alsaeed, Michal Young

Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018

2016

Using Process Mining to Measure the Expected Costs of Business Processes.

Bo Hsiao, LihChyun Shu, Michal Young, Hsueh-Ching Yang

Proceedings of the 20th Pacific Asia Conference on Information Systems, 2016

2014

Second-Order Constraints in Dynamic Invariant Inference.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

3rd international workshop on collaborative teaching of globally distributed software development (CTGDSD 2013).

Stuart R. Faulk, Michal Young, Rafael Prikladnicki, David M. Weiss, Lian Yu

Proceedings of the 35th International Conference on Software Engineering, 2013

The MGIS: a minimal geographic information system accessible to users who are blind.

Megen E. Brittell, Michal Young, Amy Lobben

Proceedings of the 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2013

2012

Intensive international Summer Schools in Global Distributed Software Development.

Arthur M. Farley, Stuart R. Faulk, Virginia Lo, Andrzej Proskurowski, Michal Young

Proceedings of the IEEE Frontiers in Education Conference, 2012

Teaching Globally Distributed Software Development: An Experience Report.

Eduardo Santana de Almeida, Dali Li, Stuart R. Faulk, Crescencio Lima, Zhang Rui, David M. Weiss, Jin Ying, Michal Young, Lian Yu

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011

SCORE 2011: the second student contest on software engineering.

Matteo Rossi, Michal Young

Proceedings of the 33rd International Conference on Software Engineering, 2011

Collaborative teaching of globally distributed software development: community building workshop (CTGDSD 2011).

Stuart R. Faulk, Michal Young, David M. Weiss, Lian Yu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

SCORE: the first student contest on software engineering.

Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young

ACM SIGSOFT Softw. Eng. Notes, 2010

Sharing what we know about software engineering.

Michal Young, Stuart R. Faulk

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Internationalization of computer science education.

Sarah A. Douglas, Arthur M. Farley, Ginnie Lo, Andrzej Proskurowski, Michal Young

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

Computing and Diagnosing Changes in Unit Test Energy Consumption.

Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

SLA Protection models for virtualized data centers.

Alessio Gambi, Mauro Pezzè, Michal Young

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008

General and efficient locking without blocking.

Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young

Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008

2007

Validating MAS simulation models with mutation.

Emanuela Merelli, Michal Young

Multiagent Grid Syst., 2007

Transactions with isolation and cooperation.

Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Software testing and analysis - process, principles and techniques.

Mauro Pezzè, Michal Young

Wiley, ISBN: 978-0-471-45593-6, 2007

2004

Toward Translating Design Constraints to Run-Time Assertions.

Luciano Baresi, Michal Young

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Refining code-design mapping with flow analysis.

Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Testing Object Oriented Software.

Mauro Pezzè, Michal Young

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Towards scalable compositional analysis by refactoring design models.

Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Symbiosis of Static Analysis and Program Testing.

Michal Young

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2002

Versioning concurrency control for hard real-time systems.

LihChyun Shu, Michal Young

J. Syst. Softw., 2002

Flow equations as a generic programming tool for manipulation of attributed graphs.

John Howard Eli Fiskio-Lasseter, Michal Young

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

2001

Neat models of messy problems: Notes on the interplay between solution- and problem-centered disciplines, and more particularly on the interaction between Petri net research and software engineering research.

Michal Young

Comput. Syst. Sci. Eng., 2001

Fault-Tolerant Scheduling under Time and Resource Constraints.

LihChyun Shu, Michal Young

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

2000

High assurance technologies.

Michal Young

ACM SIGSOFT Softw. Eng. Notes, 2000

Compiler and tool support for debugging object protocols.

Sergey Butkevich, Marco Renedo, Gerald Baumgartner, Michal Young

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Chopping and versioning real-time transactions to avoid remote blocking.

LihChyun Shu, Michal Young

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999

Residual Test Coverage Monitoring.

Christina Pavlopoulou, Michal Young

Proceedings of the 1999 International Conference on Software Engineering, 1999

1997

ICSE 97 Doctoral Consortium (Workshop Summary).

Michal Young

Proceedings of the Pulling Together, 1997

Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.

Mauro Pezzè, Michal Young

Proceedings of the Pulling Together, 1997

1996

Generation of Multi-Formalism State-Space Analysis Tools.

Mauro Pezzè, Michal Young

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.

Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck

ACM Trans. Softw. Eng. Methodol., 1995

Graph Models for Reachability of Concurrent Programs.

Mauro Pezzè, Richard N. Taylor, Michal Young

ACM Trans. Softw. Eng. Methodol., 1995

Two Dimensional Concurrent Program Debugging.

Lu Xu, Michal Young

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study.

Wei Jen Yeh, Michal Young

Softw. Test. Verification Reliab., 1994

State-Space Analysis as an Aid to Testing (Abstract).

Michal Young

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Combining Static and Dynamic Analysis of Concurrent Programs.

Frank D. Anger, Rita V. Rodríguez, Michal Young

Proceedings of the International Conference on Software Maintenance, 1994

1991

Compositional Reachability Analysis Using Process Algebra.

Wei Jen Yeh, Michal Young

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1989

Integrated Concurrency Analysis in a Software Development Enviornment.

Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Rethinking the Taxonomy of Fault Detection Techniques.

Michal Young, Richard N. Taylor

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Software Environment Architectures and User Interface Facilities.

Michal Young, Richard N. Taylor, Dennis B. Troup

IEEE Trans. Software Eng., 1988

Combining Static Concurrency Analysis with Symbolic Execution.

Michal Young, Richard N. Taylor

IEEE Trans. Software Eng., 1988

Foundations for the Arcadia Environment Architecture.

Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Design Principles behind Chiron: A UIMS for Software Environments.

Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly

Proceedings of the Proceedings, 1988