PPT-Mutation Testing Meets Approximate Computing

Author : karlyn-bohler | Published Date : 2018-11-05

Milos Gligoric 1 Sarfraz Khurshid 1 Sasa Misailovic 2 August Shi 2 ICSE NIER 2017 Buenos Aires Argentina May 24 2017 1 CCF1409423 CCF1421503 CCF1566363 CCF1629431

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Mutation Testing Meets Approximate Compu..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Mutation Testing Meets Approximate Computing: Transcript

Milos Gligoric 1 Sarfraz Khurshid 1 Sasa Misailovic 2 August Shi 2 ICSE NIER 2017 Buenos Aires Argentina May 24 2017 1 CCF1409423 CCF1421503 CCF1566363 CCF1629431 CCF1319688 CNS1239498. University of Washington. Adrian Sampson, . Hadi. Esmaelizadeh,. 1. Michael . Ringenburg. , . Reneé. St. Amant,. 2. . Luis . Ceze. , . Dan Grossman. , Mark . Oskin. , Karin Strauss,. 3. and Doug Burger. Michael . Carbin. with . Sasa. . Misailovic. , Hank Hoffmann. , . Deokhwan. . Kim, . Stelios. . Sidiroglou. , Martin . Rinard. MIT. Challenges for Programming. Expression (specifying approximations). from the. Technology of the . Future. into. . the. Technology of the . Present. Paul . Ammann. 2015 Mutation Workshop Keynote. Graz, Austria . April 13, 2015. 1. A Poll. How many of you. Agree?. Disagree?. On behalf of the North of England Cancer Network Lung NSSG. Dr Naomi Chamberlin, Dr Ann Ward. Aims. Overview of brief. Method. Contributing Trusts. Results. Discussion. Overview of brief. To gather data on all patients with a diagnosis of non-small cell lung cancer across the Network for whom specimens have been sent for EGFR mutation testing.. David Pryor. Mutation-Based Testing. Same basic goal as Code Coverage. Evaluate the tests. Determine “how much” code exercised. Mutation testing goes beyond checking which lines of code were executed. Milos Gligoric. 1. , Sarfraz Khurshid. 1. , Sasa Misailovic. 2. , . August Shi. 2. ICSE NIER 2017. Buenos Aires, . Argentina. May 24, 2017. 1. CCF-1409423, CCF-1421503,. CCF-1566363, CCF-1629431,. CCF-1319688, CNS-1239498. Ulya. . R. . Karpuzcu. ukarpuzc@umn.edu. . 12/01/2015. Outline. Background. Pitfalls & Fallacies. Practical Guidelines. 2. 12/01/2015. On Quantification of Accuracy Loss in Approximate Computing. University of Washington. Adrian Sampson, . Hadi. Esmaelizadeh,. 1. Michael . Ringenburg. , . Reneé. St. Amant,. 2. . Luis . Ceze. , . Dan Grossman. , Mark . Oskin. , Karin Strauss,. 3. and Doug Burger. Alex Groce, Josie Holmes, Darko Marinov,. August Shi. , Lingming Zhang. ICSE Demo 2018. Gothenburg, Sweden. May 30, 2018. CCF-1409423. CCF-1421503. CCF-1566589. Mutation Testing. Goal: . E. valuate the quality of test suites. from the. Technology of the . Future. into. . the. Technology of the . Present. Paul . Ammann. 2015 Mutation Workshop Keynote. Graz, Austria . April 13, 2015. 1. A Poll. How many of you. Agree?. Disagree?. Chapter 9.1. Syntax-based Testing. Paul . Ammann. & Jeff Offutt. http://www.cs.gmu.edu/~offutt/softwaretest/. Ch. 9. . : . Syntax Coverage. Introduction to Software Testing, Edition 2 (Ch 07). 23Arterial openingPlaque buildupDoes high cholesterol run in your familyIn some families high cholesterol is caused familial hypercholesterolemia called FH for short In FH genetic changes cause high c Farah Hariri. †. , . August Shi. †. , . Owolabi. . Legunsen. †. Milos . Gligoric. ‡. , . Sarfraz. . Khurshid. ‡. , . Sasa. . M. isailovic. †. . ICST’18 – . Västerås. , Sweden. John A. Clark, . Haitao. Dan, Robert M Hierons. An example: cruise control. Question. What happens in . no_vehicle_in_front. if brake and level=increase?. Another question. What happens in . no_vehicle_in_front.

Download Document

Here is the link to download the presentation.
"Mutation Testing Meets Approximate Computing"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.