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: Brun:Yuriy
Facilitated 3 volumes:
PrCoExpertReviewPaPrBoardContributed to:
2015
2015
20152014
2014
2014201320132012
2012
2012201120112010200920042015201720172018
201720182019Wrote 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.
- FSE-2014-BarrBDHS
- 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.
- ESEC-FSE-2018-BrunM
- 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.