Mutation Testing Meets Approximate Computing 1 Milos Gligoric1 , Sarfraz Khurshid1 , Sasa Misailovic2 , and August Shi2 The University of Texas at Austin, 2 University of Illinois at Urbana-Champaign {gligoric, khurshid}

Source URL: mir.cs.illinois.edu

Welcome! Qasim Sarfraz Our Services AMPRID

Source URL: www.se.ampr.org

• Computer access control
• Computer security
• Security
• Authentication
• Authorization
• Identity provider

Fall 2008: EE382C.3 Verification and Validation Instructor Sarfraz Khurshid ACES8244

Source URL: users.ece.utexas.edu

Parallel Test Generation and Execution with Korat Sasa Misailovic (Univ. of Belgrade) Aleksandar Milicevic (Univ. of Belgrade & Google) Nemanja Petrovic (Google) Sarfraz Khurshid (Univ. of Texas)

Source URL: people.csail.mit.edu

• Artificial neuron
• N1
• Dag
• Spaceflight
• Directed acyclic graph
• Korat

CENTR E FOR MUSLIM STATES A ND SOCIE TIES No.1 AUGUST[removed]CMSS News www.cmss.uwa.edu.au Bazm-e-Sarfraz

Source URL: www.cmss.uwa.edu.au

• Pakistani people
• Punjabi people
• Faiz Ahmad Faiz
• Faiz
• Urdu
• Sarfraz
• Mirza Ghalib
• South Sorong Regency
• Niqāb
• Asia
• Poetry
• Pakistani Muslims

  October  9  -­‐  München Laura  Golsteijn         M  Sarfraz  Iqbal  

Source URL: www.cadaster.eu

• Cheminformatics
• Computational chemistry
• Medicinal chemistry
• Pharmacology
• Quantitative structure–activity relationship
• Emission spectrum
• Physics
• Chemistry
• Science

ACM International Symposium on Software Testing and Analysis (ISSTA), July[removed]Winner of an ACM SIGSOFT Distinguished Paper Award. Korat: Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khur

Source URL: web.eecs.umich.edu

• Search algorithms
• Software testing
• Java programming language
• Java Modeling Language
• Java platform
• Korat
• Linked list
• KeY
• Binary tree
• Computing
• Computer programming
• Software engineering