BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Finland
1 × Hungary
1 × India
1 × Italy
1 × Russia
1 × South Africa
1 × Sweden
1 × Switzerland
1 × The Netherlands
2 × United Kingdom
4 × USA
Collaborated with:
M.D.Ernst A.Meliou K.Muslu N.Medvidović I.Beschastnikh D.Notkin G.Edwards R.Holmes I.Krka A.Guha N.Medvidovic C.L.Goues E.T.Barr A.Krishnamurthy J.Abrahamson A.Weiss S.Galhotra J.Y.Bang E.K.Smith Y.Ke K.T.Stolee L.Swart R.Angell B.Johnson Abhinav Jangda Donald Pinckney S.Y.Shin L.J.Osterweil H.Balasubramanian P.L.Henneman P.T.Devanbu M.Harman F.Sarro R.Sukkerd J.Wuttke S.Zhang S.Schneider M.Sloan D.Popescu J.Garcia A.Shahbazian Y.K.Lee D.M.Le T.Ohmann M.Herzberg S.Fiss A.Halbert M.Palyart
Talks about:
model (8) test (7) infer (6) behavior (5) specif (5) program (4) continu (4) system (4) code (4) recommend (3)

♂ Person: Yuriy Brun

DBLP DBLP: Brun:Yuriy

Facilitated 3 volumes:

ASE 2014PrCo
ASE 2013ExpertReviewPa
ASE 2013PrBoard

Contributed to:

ESEC/FSE 20152015
FASE 20152015
ISSTA 20152015
ASE 20142014
FSE 20142014
ICSE 20142014
ESEC/FSE 20132013
ICSE 20132013
ICSE 20122012
OOPSLA 20122012
WICSA/ECSA 20122012
ASE 20112011
ESEC/FSE 20112011
ICSE 20102010
ESEC/FSE 20092009
ICSE 20042004
ASE 20152015
ASE 20172017
ESEC/FSE 20172017
ESEC/FSE 20182018
ICSA 20172017
ICSA 20182018
OOPSLA 20192019

Wrote 31 papers:

ESEC-FSE-2015-SmithBGB #automation #program repair
Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
FASE-2015-ShinBOBH #prototype #specification
Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.
ISSTA-2015-MusluBM #fault #testing
Preventing data errors with continuous testing (KM, YB, AM), pp. 373–384.
ASE-2014-OhmannHFHPBB #behaviour #model inference #resource management
Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
The plastic surgery hypothesis (ETB, YB, PTD, MH, FS), pp. 306–317.
FSE-2014-KrkaBM #automation #invariant #mining #specification
Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
ICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ESEC-FSE-2013-MusluBEN #analysis
Making offline analyses continuous (KM, YB, MDE, DN), pp. 323–333.
ESEC-FSE-2013-MusluBM #debugging #testing
Data debugging with continuous testing (KM, YB, AM), pp. 631–634.
ICSE-2013-BeschastnikhBAEK #algorithm #declarative #specification
Unifying FSM-inference algorithms through declarative specification (IB, YB, JA, MDE, AK), pp. 252–261.
ICSE-2013-SukkerdBWZB #comprehension
Understanding regression failures through test-passing and test-failing code changes (RS, IB, JW, SZ, YB), pp. 1177–1180.
ICSE-2012-MusluBHEN #ide #recommendation
Improving IDE recommendations by considering global implications of existing recommendations (KM, YB, RH, MDE, DN), pp. 1349–1352.
OOPSLA-2012-MusluBHEN #analysis #development #ide #recommendation
Speculative analysis of integrated development environment recommendations (KM, YB, RH, MDE, DN), pp. 669–682.
WICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling
Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
ASE-2011-EdwardsBM #editing #morphism #tool support
Isomorphism in model tools and editors (GE, YB, NM), pp. 460–463.
ESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named
Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
ESEC-FSE-2011-BrunHEN #collaboration #detection
Proactive detection of collaboration conflicts (YB, RH, MDE, DN), pp. 168–178.
ESEC-FSE-2011-BrunHEN11a #named #precise
Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.
ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using
Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ESEC-FSE-2009-KrkaBEM #behaviour #component #modelling #specification
Synthesizing partial component-level behavior models from system specifications (IK, YB, GE, NM), pp. 305–314.
ICSE-2004-BrunE #fault #machine learning
Finding Latent Code Errors via Machine Learning over Program Executions (YB, MDE), pp. 480–490.
ASE-2015-KeSGB #code search #semantics #source code
Repairing Programs with Semantic Code Search (T) (YK, KTS, CLG, YB), pp. 295–306.
ASE-2015-MusluSBE #development
Development History Granularity Transformations (N) (KM, LS, YB, MDE), pp. 697–702.
ASE-2017-WeissGB #interactive #named
Tortoise: interactive system configuration repair (AW, AG, YB), pp. 625–636.
ESEC-FSE-2017-GalhotraBM #testing
Fairness testing: testing software for discrimination (SG, YB, AM), pp. 498–510.
ESEC-FSE-2018-AngellJBM #automation #named #testing
Themis: automatically testing software for discrimination (RA, BJ, YB, AM), pp. 871–875.
Software fairness (YB, AM), pp. 754–759.
ICSA-2017-BangBM #analysis #collaboration #design
Continuous Analysis of Collaborative Design (JYB, YB, NM), pp. 97–106.
ICSA-2018-ShahbazianLLBM #architecture #design
Recovering Architectural Design Decisions (AS, YKL, DML, YB, NM), pp. 95–104.
OOPSLA-2019-JangdaPBG #formal method
Formal foundations of serverless computing (AJ, DP, YB, AG), p. 26.

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.