BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Finland
1 × Poland
1 × Russia
1 × Singapore
1 × United Kingdom
3 × Canada
9 × USA
Collaborated with:
M.Pezzè ∅ R.N.Taylor J.H.E.Fiskio-Lasseter Y.Smaragdakis C.Pavlopoulou W.J.Yeh X.Zhang F.D.Anger R.V.Rodríguez K.Li C.Reichenbach A.Kay R.Behrends Y.Cheng C.Huang C.Pan S.Butkevich M.Renedo G.Baumgartner K.Forester D.Brodbeck D.B.Troup C.D.Kelly E.S.d.Almeida D.Li S.R.Faulk C.Lima Z.Rui D.M.Weiss J.Ying L.Yu
Talks about:
analysi (9) softwar (4) tool (4) test (4) program (3) design (3) state (3) space (3) dynam (3) composit (2)

♂ Person: Michal Young

DBLP DBLP: Young:Michal

Facilitated 6 volumes:

ISSTA 2015Ed
PASTE 2008Ed
FSE 2006Ed
FSE 2006GCh
ICSE 2002Ed
ICSE 2002PrCh

Contributed to:

ESEC/FSE 20132013
CSEE&T 20122012
OOPSLA 20072007
FSE 20042004
ICSE 20042004
ESEC/FSE 20032003
FASE 20032003
PASTE 20022002
FSE 20002000
ICSE 19991999
ICSE 19971997
ISSTA 19961996
ICSM 19941994
ISSTA 19941994
ISSTA 19911991
ICSE 19891989
ISSTA 19891989
ICSE 19881988

Wrote 18 papers:

ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
CSEET-2012-AlmeidaLFLRWYYY #case study #development #distributed #education #experience
Teaching Globally Distributed Software Development: An Experience Report (ESdA, DL, SRF, CL, ZR, DMW, JY, MY, LY), pp. 105–109.
OOPSLA-2007-SmaragdakisKBY #transaction
Transactions with isolation and cooperation (YS, AK, RB, MY), pp. 191–210.
FSE-2004-ZhangYF #analysis
Refining code-design mapping with flow analysis (XZ, MY, JHEFL), pp. 231–240.
ICSE-2004-PezzeY #object-oriented #testing
Testing Object Oriented Software (MP, MY), pp. 739–740.
ESEC-FSE-2003-ChengYHP #analysis #composition #design #modelling #refactoring #scalability #towards
Towards scalable compositional analysis by refactoring design models (YPC, MY, CLH, CYP), pp. 247–256.
FASE-2003-Young #static analysis #testing
Symbiosis of Static Analysis and Program Testing (MY), pp. 1–5.
PASTE-2002-Fiskio-LasseterY #equation #graph #programming
Flow equations as a generic programming tool for manipulation of attributed graphs (JHEFL, MY), pp. 69–76.
FSE-2000-ButkevichRBY #compilation #debugging #protocol #tool support
Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.
ICSE-1999-PavlopoulouY #monitoring #test coverage
Residual Test Coverage Monitoring (CP, MY), pp. 277–284.
ICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
ISSTA-1996-PezzeY #analysis #generative #multi #tool support
Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
ICSM-1994-AngerRY #concurrent #dynamic analysis #source code
Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.
ISSTA-1994-Young #analysis #testing
State-Space Analysis as an Aid to Testing (MY), p. 203.
TAV-1991-YehY #algebra #analysis #composition #process #reachability #using
Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.
ICSE-1989-YoungT #detection #fault #taxonomy
Rethinking the Taxonomy of Fault Detection Techniques (MY, RNT), pp. 53–62.
TAV-1989-YoungTFB #analysis #concurrent #development
Integrated Concurrency Analysis in a Software Development Enviornment (MY, RNT, KF, DB), pp. 200–209.
ICSE-1988-YoungTTK #design
Design Principles behind Chiron: A UIMS for Software Environments (MY, RNT, DBT, CDK), pp. 367–376.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.