programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: April 2015
http://programanalysis.blogspot.com/2015_04_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Tuesday, April 28, 2015. Declarative specification of FSM-inference algorithms. The paper “Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms”. Recently appeared in IEEE Transactions on Software Engineering. The paper is by Ivan Beschastnikh. Jenny Abrahamson, me. The paper proposes InvariMint, an approach to specify model-inference algorithms declarati...
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: February 2013
http://programanalysis.blogspot.com/2013_02_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Wednesday, February 20, 2013. ACM SIGSOFT Impact Paper Award. Jake Cockrell, Bill Griswold. Received the 2013 SIGSOFT Impact Paper Award. For our paper Dynamically Discovering Likely Program Invariants to Support Program Evolution. Which appeared in ICSE '99. The award citation reads:. The award includes a $1000 honorarium, which we donated to the David Notkin Endowed Graduate Fellowship in Computer Science and Engineering.
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: November 2014
http://programanalysis.blogspot.com/2014_11_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Tuesday, November 25, 2014. Are mutants a valid substitute for real faults in software testing? My colleagues and I won an ACM Distinguished Paper award for our paper “ Are mutants a valid substitute for real faults in software testing? Both practitioners and researchers need to evaluate the quality of test suites —. Or, no one did until our research. Of UW CSE, Laura Inozemtseva. You can obtain the tools and experimental ...
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: July 2014
http://programanalysis.blogspot.com/2014_07_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Friday, July 25, 2014. UW CSE at ISSTA. Of UW CSE, along with their colleague Gordon Fraser. Of the University of Sheffield, have been awarded an ACM Distinguished Paper award for their paper “ Efficient mutation analysis by propagating and partitioning infected execution states. 8221; by Sai Zhang. 8221; by Konstantin Weitz. Subscribe to: Posts (Atom). UW CSE at ISSTA. Simple template. Powered by Blogger.
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: January 2013
http://programanalysis.blogspot.com/2013_01_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Thursday, January 24, 2013. Responding to conference reviews. I have added a section " Responding to conference reviews. To my webpage about writing a technical paper. Subscribe to: Posts (Atom). Responding to conference reviews. Simple template. Powered by Blogger.
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: April 2014
http://programanalysis.blogspot.com/2014_04_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Wednesday, April 16, 2014. My research group had 3 papers accepted to ISSTA, the International Symposium on Software Testing and Analysis. Here are brief descriptions of them. 8220;Empirically revisiting the test independence assumption”. By Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, and David Notkin. You can also read the abstract. Given two test suites, mutation analysis ranks on...
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: Are mutants a valid substitute for real faults in software testing?
http://programanalysis.blogspot.com/2014/11/are-mutants-valid-substitute-for-real.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Tuesday, November 25, 2014. Are mutants a valid substitute for real faults in software testing? My colleagues and I won an ACM Distinguished Paper award for our paper “ Are mutants a valid substitute for real faults in software testing? Both practitioners and researchers need to evaluate the quality of test suites —. Or, no one did until our research. Of UW CSE, Laura Inozemtseva. You can obtain the tools and experimental ...
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: No German in the building
http://programanalysis.blogspot.com/2015/07/no-german-in-building.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Friday, July 10, 2015. No German in the building. As my sabbatical comes to a close, I increase my appreciation for the remarkable talents of Peter Druschel. Who hosted my previous sabbatical and has built up MPI-SWS. Into a world-class research institution. For example, so that they can network effectively at conference dinners. Speaking Hindi in their offices. During this year's sabbatical, at IMDEA. I dont find it sad&#...
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: UW CSE at ISSTA
http://programanalysis.blogspot.com/2014/07/uw-cse-at-issta.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Friday, July 25, 2014. UW CSE at ISSTA. Of UW CSE, along with their colleague Gordon Fraser. Of the University of Sheffield, have been awarded an ACM Distinguished Paper award for their paper “ Efficient mutation analysis by propagating and partitioning infected execution states. 8221; by Sai Zhang. 8221; by Konstantin Weitz. Subscribe to: Post Comments (Atom). UW CSE at ISSTA. Simple template. Powered by Blogger.
programanalysis.blogspot.com
PATPAT: Program analysis, the practice and theory: July 2015
http://programanalysis.blogspot.com/2015_07_01_archive.html
PATPAT: Program analysis, the practice and theory. Michael Ernst's technical blog. Friday, July 10, 2015. No German in the building. As my sabbatical comes to a close, I increase my appreciation for the remarkable talents of Peter Druschel. Who hosted my previous sabbatical and has built up MPI-SWS. Into a world-class research institution. For example, so that they can network effectively at conference dinners. Speaking Hindi in their offices. During this year's sabbatical, at IMDEA.