Subject Infrastructure Repository

Get Access!
 
Home
SIR Software Objects
 
SIR Users and Publications
Frequently Asked Questions
Repository License
 
Acknowledgments

SIR Usage Information

Institutions Using SIR

  • University of Aarhus
  • Aalim Muhammed Salegh College of Engineering
  • Aalto University
  • ABB Corporate Research
  • Aberystwyth University
  • Accenture
  • Adelaide University
  • Afeka Tel-Aviv Academic College of Engineering
  • Agitar Software
  • Aichi Prefecture University
  • Ajou University
  • University of Alberta
  • University of Alcalá
  • University of Alexandria, Egypt
  • Allegheny College
  • University of Almeria
  • Al Akhawayn University
  • Ambedkar Institute of Advanced Communication Technologies & Research
  • American University of Beirut
  • Amirkabir University of Technology
  • Amity University
  • University of Amsterdam
  • Anhui Polytechnic University
  • Anna University, Chennai
  • Anna University, Coimbatore
  • Anna University, Tiruchirappalli
  • Annamalai University
  • University of Antwerp
  • Apeejay College of Fine Arts
  • University of Arizona
  • Arak University
  • Arizona State University
  • Assumption University
  • Atilim University, Turkey
  • Athens University of Economics and Business
  • AT&T Labs
  • University of Auckland
  • Auckland University of Technology
  • Aurora Automation
  • Aviation Industry Group of China
  • Azad University of Shabestar
  • University of Baghdad
  • Bangladesh University of Engineering and Technology
  • University of Bari
  • Bayner Technologies Ltd.
  • University of Bergamo
  • Beihua University
  • Beihang - Beijing University of Aeronautics and Astronautics
  • Beijing University of Chemical Technology
  • Beijing University of Posts and Telecommunications
  • Beijing Institute of Technology
  • Ben-Gurion University
  • Bespoke Systems
  • Bharati Vidyapeeth University - Pune
  • University of Birmingham
  • Birla Institute of Technology - Pilani
  • Blekinge Institute of Technology
  • Bond University
  • Brigham Young University
  • Brunel University
  • B. S. Abdur Rahman University
  • B. S. Abdur Crescent Engineering College - Chennai
  • University of Belgrade
  • University of Bremen
  • Cadence Design Systems
  • Cairo University
  • Universidad de Castilla-La Mancha
  • University of California - Berkeley
  • University of California - Davis
  • University of California - Irvine
  • University of California - Los Angeles
  • University of California - Riverside
  • University of California - San Diego
  • California State University Sacramento
  • CanevasFolies
  • Capital Normal University
  • Caritas
  • Carleton University
  • Carnegie Mellon University
  • Case Western Reserve University
  • University of Catania
  • Universitat Politècnica de Catalunya
  • Central China Normal University
  • Central South University
  • Centro de Informática, Federal University of Pernambuco
  • Centro Nacional de Investigación y Desarrollo Tecnológico
  • Chalmers University of Technology
  • Changchun University of Technology
  • Changsha University
  • China University of Mining and Technology
  • Chinese Academy of Sciences
  • Chongqing University
  • Chulalongkorn University
  • Chung-Ang University
  • Chung Yuan Christian University
  • Chuzhou University
  • Cochin University of Science and Technology
  • Commissariat à l'Énergie Atomique
  • University of Calgary
  • City University of Hong Kong
  • The Chinese University of Hong Kong
  • Clemson University
  • Technical University of Cluj-Napoca
  • Coimbatore Institute of Technology
  • Computer Technology Institute and Press, Patra, Greece
  • College of Charleston
  • University of Chile
  • College of William and Mary
  • Colorado State University
  • University of Coimbra
  • University of Colombo
  • University of Colorado - Boulder
  • University of Colorado - Colorado Springs
  • Cognizant
  • Columbia University
  • University of Comahue - Argentina
  • University of Concepción
  • Concordia University
  • University of Copenhagen
  • CIIT COMSATS Institute of Information Technology - Pakistan
  • Consiglio Nazionale delle Ricerche
  • Consorzio interuniversitario nazionale per l'informatica (cini)
  • Alexander John Cuza University, Romania
  • Cranfield University
  • University of Cyprus
  • Cyprus University of Technology
  • DaLian Jiaotong University
  • DaLian Maritime University
  • Dalian University of Science and Technology
  • DaLian University of Technology
  • Damascus University
  • Daneshgah Azad University
  • Darmstadt University of Technology
  • Dayalbagh Educational Institute
  • University of Delaware
  • University of Dehli
  • Delft University of Technology
  • Del Institute of Technology
  • Del Polytechnic of Informatics, Indonesia (Politeknik Informatika Del)
  • Delhi Technological University
  • University of Denver
  • DePaul University
  • Design Data Corporation
  • University of Detroit - Mercy
  • Departmento de Ciência e Tecnologia Aeroespacial - Instituto de Aeronáutica e Espaço, Brazil
  • University of Dhaka
  • University of East London
  • Diquest
  • DoCoMo USA Labs
  • Dr. Mahalingam College of Engineering and Technology - Pollachi
  • University Duisburg Essen
  • Durham University
  • East China Normal University
  • East China University of Science and Technology
  • École Polytechnique de Montreal
  • École pour Industrie et Entreprise
  • École Polytechnique Fédérale de Lausanne
  • Echelon Institute of Technology, Faridabad
  • Edith Cowan University
  • University of Edinburgh
  • EDS
  • Electronics and Telecommunications Research Institute (ETRI)
  • Embedded Systems Institute Eindhoven University of Technology
  • ETH Zurich
  • Ewha Womans University
  • FernUniversität in Hagen
  • University of Freiburg
  • Florida A & M University
  • Florida International University
  • University of Central Florida
  • University of Florida
  • Fontys University of Applied Sciences
  • Fortiss Institute
  • Fraunhofer Institute for Communication Systems ESK
  • Free University of Bolzano
  • Freie Universitaet Berlin Germany
  • Fujitsu Laboratories of America
  • Fugro N.V.
  • Galaxy Plus
  • Galgotias University
  • University of Genova
  • George Mason University
  • Georgia Institute of Technology
  • Universidade Estadual de Feira de Santana
  • Universidade Federal de Campina Grande
  • Universidade Federal do Ceara
  • Universidade Federal de Goias
  • Universidade do Estado da Bahai
  • Gitam University
  • Government College of Technology - Coimbatore
  • GrammaTech
  • GuangXi University, China
  • Guizhou University, China
  • Guru Gobind Singh Indraprastha University
  • Guru Nanak Dev University
  • Universite de Grenoble
  • Haldia Institute of Technology
  • Technical University Hamburg-Harburg
  • Hangzhou Dianzi University
  • Hanoi University of Science and Technology
  • Hanyang University
  • Harbin Institute of Technology
  • Harvard University
  • University of Hawaii
  • Heidelberg University
  • University of Hertfordshire
  • Hewlett Packard Labs
  • Hiroshima University
  • Ho Chi Minh City University of Industry, Viet Nam
  • Ho Chi Minh City University of Technology
  • University of Hong Kong
  • Chinese University of Hong Kong
  • The Hong Kong University of Science and Technology
  • Hong Kong Polytechnic University
  • Hue University VietNam
  • Huawei Technologies
  • Huazhong University of Science and Technology
  • Huazhong Normal University
  • University of Hull
  • Hunan University
  • Hyupsung University
  • University of Hyderabad
  • Ibaraki University
  • IBM T.J. Watson Labs
  • IBM India Research Labs
  • Fondazione Bruno Kessler Il Centro per la Ricerca Scientifica e Tecnologica (ITC-IRST)
  • Imperial College London
  • Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa
  • Instituto Tecnológico de Aeronáutica - Brazil
  • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
  • Institut de Recherche en Informatique et en Automatique (INRIA)
  • Institut National des Sciences Appliquées de Lyon
  • Institute de Recherche en Informatique de Toulouse
  • Institute of Management Sciences Pakistan
  • Institut Français de Gestion
  • Instituto Tecnológico de Buenos Aires
  • Institute of Software, Chinese Academy of Sciences
  • Institute of Computing Technology, Chinese Academy of Sciences
  • Institute for System Programming of Russian Academy of Sciences
  • Instituto Federal de Educacao, Ciencia e Technologia Goias
  • Instituto Federal de Minas Gerais, Brazil
  • Instituto Politécnico de Leiria, Portugal
  • Institute for Systems and Computer Engineering of Porto (INESC-ID), Portugal
  • Instituto Tecnológico de Informática - València
  • Instituto Nacional de Pesquisas Espaciais (INPE), Brazil
  • Instituto Tecnológico Superior de Huichapan
  • University of Illinois at Urbana-Champaign
  • University of Illinois - Chicago
  • Universitas Indonesia
  • Istanbul Kultur University
  • Işik Üniversitesi
  • University of Karlsruhe
  • Illinois Institute of Technology
  • Indiana University - South Bend
  • Indian Institute of Science - Bangalore
  • Indian Institute of Technology - Delhi
  • Indian Institute of Technology - Guwahati
  • Indian Institute of Technology - Kanpur
  • Indian Institute of Technology - Kharagpur
  • Indian Institute of Technology - Madras, Chennai
  • Indian Statistical Institute
  • Information and Communications University - Korea
  • Intel Corporation
  • International Data Group
  • International Center of Excellence in Software Engineering (ICESE)
  • International Christian University - Japan
  • International University of Science and Technology (IUST), Syria
  • International Islamic Univeristy
  • Istituto di Scienza e Tecnologie dell'Informazione (ISTI-CNR), Italy
  • Infosys Ltd.
  • Iowa State University
  • Iran University of Science & Technology
  • University of Isfahan
  • Islamic Azad University of Shabestar, Iran
  • Jadavpur University
  • Jaypee University of Information and Technology
  • Javid University
  • Jiangnan University
  • Jiang Xi University of Science and Technology
  • University of Jordan
  • Kansas State University
  • University of Kansas
  • University of Kashan
  • University of Kelaniya
  • University of Kentucky
  • University of Kent at Canterbury
  • Karlsruhe Institute of Technology
  • Karlstad University
  • Kauno Technologijos Universitetas
  • Keio University
  • Kings College London
  • Kingston University London
  • Kings University College
  • University of Koblenz-Landau
  • University of Konstanz
  • Korea Advanced Institute of Science and Technology
  • Kunming University of Science and Technology
  • K.L.N. College of Information Technology
  • KTH Royal Institute of Technology, Sweden
  • Kuwait University
  • Laboratory of Informatics from Grenoble - Université Joseph Fourier (LIG-UJF)
  • Ladue Horton Watkins High School
  • Lahore University of Management Sciences (LUMS)
  • Lawrence Livermore National Laboratory
  • Lebanese American University
  • University of Luxembourg
  • Lebedev Physical Institution, Moscow
  • University of Leicester, UK
  • University of Lille
  • Linneus University, Sweden
  • Universidade de Brasília
  • Universidade de Lisboa
  • Universidade Nova de Lisboa
  • Universitat de Lleida
  • Lomonosov Moscow State University
  • Loyola College - Maryland
  • Lucent Technologies
  • University of Lugano
  • Lycee Jean Bart de Dunkerque
  • Mälardalen University
  • Universidad de Malaga
  • University of Magdeburg
  • University of Manchester
  • Manipal Institute of Technology, Karanataka
  • University of Maryland - College Park
  • University of Maryland - Baltimore County
  • Masaryk University
  • Massachusetts Institute of Technology
  • University of Massachusetts - Amherst
  • Massey University
  • Maynooth University
  • McMaster University
  • McGill University
  • University of Melbourne
  • Methodist University of Piracicaba
  • Metropolitan State University
  • Michigan State University
  • University of Michigan
  • Middle East Technical University
  • Middle Tennessee State University
  • Microsoft Research
  • University of Minnesota, Twin Cities
  • University of Minnesota, Duluth
  • Mission Aviation Fellowship - Learning Technologies
  • Missouri University of Science and Technology
  • Mohammad Ali Jinnah University
  • Monash University - Clayton School IT
  • Monochromata
  • Moscow Institute of Physics and Technology
  • Motilal Nehru National Institute of Technology Allahabad
  • MphasiS - Bangalore
  • Nagoya University
  • University of Namur
  • Nankai University Institute of Machine Intelligence
  • NASA Jet Propulsion Laboratory
  • USAF National Air and Space Intelligence Center
  • National Chiao Tung University
  • National Chiayi University
  • National Institute of Advanced Industrial Science and Technology - Japan
  • National Institute of Standards and Technology
  • National Institutes of Health
  • National Institute of Technical Teachers' Training and Research, India
  • National Institute of Technology, Rourkela
  • National Insurance Academy, India
  • National Institute of Informatics, Japan
  • National Laboratory for Parallel and Distributed Processing, China
  • National Research Council Canada
  • National Sun Yat-sen University
  • National Taiwan University
  • National Taiwan University of Science and Technology (NTUST)
  • National Tsing-Hua University
  • National University of Computer and Emerging Sciences
  • National University of Illinois
  • National University of Ireland, Maynooth
  • National University of Singapore
  • National University of Defense Technology, China
  • National University of Computer & Emerging Sciences, Pakistan
  • Naval Postgraduate School
  • Nanjing University
  • Nanjing University of Aeronautics and Astronautics
  • Nanjing University of Science and Technology
  • Nanjing University of Posts and Telecommunication
  • Nanjing Xiaozhuang University
  • Nantong University
  • Nanyang Technological University
  • Nara Institute of Science and Technology
  • NEC Corp.
  • Neopm Corp.
  • University of Nebraska - Lincoln
  • University of Nebraska - Omaha
  • University of New South Wales
  • University of New Orleans
  • University of New Mexico
  • New York University
  • University of Nice - Sophia Antipolis
  • NICTA - National ICT Australia
  • University of Notre Dame
  • North Carolina State University
  • North China Electricity Power University
  • North Dakota State University
  • Northeastern University
  • Northwest Missouri State University
  • Northwestern Polytechnical University, China
  • Norwegian University of Science and Technology
  • Novartis Pharmaceutical
  • University of Novi Sad, Serbia
  • Office National d'Etudes et Recherches Aérospatiales (ONERA)
  • United Nations University
  • Ohio State University
  • Okayama Prefectural University
  • University of Oldenburg (OFFIS)
  • University of Ontario
  • The Open University of Israel
  • The Academic College Tel-Aviv Yaffo
  • Oregon State University
  • University of Oregon
  • Oracle Corporation
  • University of Oslo
  • University of Oxford
  • University of Paderborn
  • University of Parma, Italy
  • University of Porto, Portugal
  • University of Passau
  • University of Potsdam, Germany
  • U. S. Air Force
  • Peking University
  • Pearson Education
  • University of Pennsylvania
  • Perot Systems at NASA Ames Research Center
  • PayPal
  • Pacific Union College
  • Pydah College of Engineering
  • Politecnico di Milano
  • Politecnico di Torino
  • Politehnica University of Timisoara, Romania
  • Polytechnic Institute of New York University
  • Pondicherry Engineering College
  • Pontificia Universidade Catolica do Parana
  • Pontificia Universidade Catolica do Rio de Janeiro
  • Punjabi University - Patiala
  • Purdue University
  • Pusan National University
  • Pyxis Technology
  • Qazvin Islamic Azad University
  • Queens University - Canada
  • Rochester Institute of Technology
  • Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center
  • Ritsumeikan Universirt
  • Université de Rennes
  • RMIT University
  • Rutgers University
  • Saarland University
  • Sabanci University - Turkey
  • Sacramento City College
  • SAIT Polytechnic, Canada
  • Science Applications International Corp (SAIC)
  • Scientific and Technological Research Council of Turkey (TUBITAK)
  • Seattle University
  • Seoul National University
  • Sudan University of Science and Technology
  • Sungkyunkwan University
  • Universidad de Sevilla
  • University of Sheffield
  • University of Southampton
  • University of Southern California
  • Southern Alberta Institute of Technology
  • Stanford University
  • Stellenbosch University
  • University of Strathclyde - Glasgow
  • University of Tabuk
  • Universiti Tenaga Nasional
  • University of Tehran
  • Tianjin University
  • Tianjin Polytechnic University
  • Università Degli Studi Del Sannio - Research Centre on Software Technology (RCOST)
  • University of Pitesti - Romania
  • Universidad Politécnica de Madrid
  • Universiti Malaya
  • Universiti Putra Malaysia
  • Universiti Sains Malaysia
  • Universiti Malaysia Pahang
  • University of Western Sydney
  • University of Sao Paulo
  • University of Sao Paulo - Sao Carlos
  • Universidade Federal de Sao Paulo
  • Universidade de Buenos Aires
  • Universidade do Estado de Pernambuco
  • Universidade de Pernambuco
  • Universidade Federal do Amazonas
  • Universidade Federal da Bahai
  • Universidade Federal do Paraná
  • Universidade Federal do Pará
  • Universidade Federal do Rio de Janeiro
  • Universidade Metodista de Piracicaba
  • Universidade Estadual Paulista
  • Universidad de la Republica Uruguay
  • Universidad Nacional del Centro de la Provincia de Buenos Aires (UNICEN)
  • Universidad Nacional Mayor de San Marcos, Peru
  • Universidad Pedagogica y Tecnologica de Colombia
  • Universidad Nacional de la Patagonia Austral
  • Universidade Federal do Rio Grande do Norte
  • Universidad Politècnica de València
  • Universidad de las Ciencias Informáticas
  • University of Manitoba
  • University of Mannheim
  • University of Milan
  • University of Milano-Bicocca
  • Universite de Montreal
  • Universita degli Studi di Milano-Bicocca
  • Universita degli Studi di Napoli Federico II
  • Universita della Svizzera Italiana
  • University College Dublin
  • University College London
  • University of Science and Technology of China
  • University of Science and Technology Beijing
  • University of Salerno
  • Shandong University
  • Shanghai Normal University
  • Shanghai University
  • Shanghai Jiao Tong University
  • Sharif University of Technology
  • Shiraz University
  • Shizuoka University
  • Siemens LLC
  • Siksha 'O' Anusandhan University
  • Simula Research Lab
  • Singapore Management University
  • Singapore University of Technology and Design
  • Silicon Valley Systech, Inc.
  • Software Competence Center Hagenberg - Austria
  • Sofist Intelligent Software Testing
  • Software Improvement Group B. V., Netherlands
  • Sogang University
  • Soochow University, China
  • Sona College of Technology
  • South China Agricultural University
  • Southeast University
  • Southeastern University
  • Southern Alberta Institute of Technology
  • Southern Methodist University
  • Sree Chitra Thirunal College of Engineering
  • Sri Ramakrishna Engineering College
  • Sri Venkateshwara College of Engineering
  • SRM University
  • University of Stirling
  • University of Stuttgart
  • St. Petersburg National Research University
  • State University of New York - Stony Brook
  • State University of Campinas, Brazil (UNICAMP)
  • State University of Ceara
  • Swedish Institute of Computer Science
  • Swinburne University of Technology
  • Swiss Federal Institute of Technology Zurich
  • Syracuse University
  • University of Alcala
  • University of Camerino
  • University of Szeged - Hungary
  • University of the Sciences in Philadelphia
  • Universidad Nacional Mayor de San Marcos - Peru
  • University of Texas - Arlington
  • University of Texas - Austin
  • University of Texas - Dallas
  • Technical University of Malaysia Melaka
  • Universiti Teknologi Malasia
  • Tadiad Information Technologies & Services
  • Tata Research Development and Design Centre
  • Tata Consulting Services Ltd.
  • Tel Aviv University
  • Technical University of Cluj-Napoca
  • Technical University of Denmark
  • Technion
  • Technische Universität Darmstadt
  • Technische Universität Delft
  • Technische Universität Dresden
  • Technische Universität Graz
  • Technische Universität Hamburg-Harburg
  • Technische Universität Müenchen
  • Texas State University
  • Texas Tech University
  • Thaigarajar College of Engineering (IRTT)
  • Thapar University
  • Tokyo University
  • Tokyo Institute of Technology
  • University of Tokyo VLSI Design and Education Center
  • University of Toledo
  • Tongji University Shanghai
  • University of Toronto
  • Tongji University
  • Toshiba Corporation
  • Tomsk State University
  • Tsinghua University
  • Tufts University
  • Tunis University
  • Univaq
  • UST Global
  • University of Utah
  • Utah State University
  • University of Ulm
  • University of Verona
  • University of Virginia
  • Virginia Tech University
  • Virginia Commonwealth University
  • Vrije Universiteit Amsterdam
  • VTT Technical Research Centre of Finland
  • University of Western Ontario
  • Université du Quebéc en Outaouais, Canada
  • University of Electronic Science and Technology of China
  • University of Victoria
  • Vienna University of Technology
  • University of Waikato
  • Warsaw School of Economics
  • Warsaw University of Technology
  • Waseda University
  • University of Washington
  • West Virginia University
  • University of Wisconsin - Madison
  • Worcester Polytechnic Institute
  • University of Wollongong
  • University of Wyoming
  • Wayne State University
  • University of Waterloo
  • Wroclaw University of Technology
  • Wuhan University
  • Xian Jiaotong University
  • Xiamen University
  • Xidian University
  • University of York - UK
  • Yarmouk University
  • University of Zagreb, Croatia
  • Zhejiang University
  • Zhejiang Sci-Tech University
  • Zhejiang Institute of Communications
  • Zhongshan University
  • Zhengzhou University
  • Zhongyuan University of Technology

Citing Publications

In the following list, we attempt to report publications that cite the repository. However, we cannot guarantee that this list is exhaustive.

We also intend eventually to report papers which, prior to the existence of the repository, made use of the objects contained therein. For the moment, however, only those papers we know of dating back to 2001 are listed.

We appreciate any notifications regarding publications absent from this list that you believe should be included.

  • Publications citing SIR
    1. Is Mutation an Appropriate Tool for Testing Experiments? J.H. Andrews, Lionel C. Briand, and Y. Labiche, in Proceedings of the 27th International Conference on Software Engineering (ICSE'05), pp. 401-411, ACM 2005
    2. Relevant Empirical Testing Research: Challenges and Responses. J.H. Andrews, in ACM SIGSOFT Software Engineering Notes, Volume 29, Issue 5, September 2004, pp. 1-4, ISSN 0163-5948
    3. Trace Anomalies as Precursors of Field Failures: an Empirical Study. Anneliese Andrews, Sebastian Elbaum, and Satya Kanduri. in journal Empirical Software Engineering, Volume 12, Number 5/October 2007, pp. 447-469, 2007 Springer Berlin/Heidelberg, ISSN 1382-3256
    4. Using the Case-Based Ranking Methodology for Test Case Prioritization. Paolo Avesani, Angelo Susi, and Paolo Tonella. in proceedings of the 22nd IEEEE International Conference on Software Maintenance, 2006 (ICSM'06), September 2006, pp. 123-133, ISBN 0-7695-2354-4
    5. The Probabilistic Program Dependence Graph and its Application to Fault Diagnosis. George K. Baah, Andy Podgurski, and Mary Jean Harrold. in ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008, pp. 189-199
    6. Software Testing Research: Achievements, Challenges, Dreams. Antonia Bertolino. in proceedings of the IEEE Future of Software Engineering, (FOSE'07),May 23-25, 2007, Minneapolis, MN USA, pp. 85-103, 2007 IEEE
    7. Automated Fault Localization for C Programs. Roderick Bloem, Andreas Griesmayer, and Stefan Staber. in journal Electronic Notes in Theoretical Computer Science − Proceedings of the Workshop on Verification and Debugging (V&D 2006), Volume 174, Issue 4, May 30, 2007, pp. 95-111, 2007 Elsevier The Netherlands
    8. Thin Slicing. Rastislav Bodik, Stephen J. Fink, and Manu Sridharan. in Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, June 9-10, 2007, San Diego, California, pp. 112-122, ISBN 978-1-59593-633-2.
    9. Improving the Classification of Software Behaviors using Ensembles of Control-Flow and Data-Flow. James F. Bowring, Mary Jean Harrold, and James M. Rehg. Technical Report, College of Computing, Georgia Institute of Technology, 2005, available from http://www.cc.gatech.edu/cercs/tech-reports/tr2005/git-cercs-05-10.pdf
    10. Modeling and Predicting Software Behaviors. James F. Bowring. Doctoral Thesis, Georgia Institute of Technology 2006, etd-08072006-100803, available from http://etd.gatech.edu/theses/available/etd-08072006-100803/unrestricted/bowring_james_f_200612_phd.pdf
    11. Using Machine Learning to Support Debugging with Tarantula. Lionel C. Briand, Yvan Labiche, and Liu Xuetao. in proceedings of The 18th IEEE International Symposium on Software Reliability 2007 (ISSRE'07), Trollhättan, Sweden, November 5-9, 2007, pp. 137-146, 2008 IEEE Washington, DC, USA, ISBN 978-0-7695-3024-6
    12. Formal Concept Analysis Applied to Fault Localization. Peggy Cellier. in Proceedings of the International Conference on Software Engineering Companion of the 30th International conference on Software engineering, Leipzig, Germany, May 10-18, 2008, pp. 991-994, 2008 ACM New York, NY, USA, ISBN 978-1-60558-079-1
    13. Statistical Debugging: A Hypothesis Testing-Based Approach. Chao Liu, Long Fei, Xifeng Yan, Jiawei Han, and Samuel P. Midkiff. in journal IEEE Transactions on Software Engineering, Volume 32, Issue 10, Oct. 2006 pp. 831-848
    14. Statistical Debugging using Compound Boolean Predicates. Ting Chen, Ben Liblit, Piramanayagam Arumuga Nainar, and Jake Rosin. in ACM ISSTA '07: Proceedings of the 2007 International symposium on Software testing and analysis, July 9-12 London, UK 2007, pp. 5-15, 2007 ACM New York, NY, USA, ISBN 978-1-59593-734-6.
    15. Statistical Debugging Using Latent Topic Models. David Andrzejewski, Anne Mulhern, Ben Liblit, and Xiaojin Zhu. in journal Machine Learning: ECML 2007, Volume 4701/2007, pp. 6-17, 2007 Springer Berlin/Heidelberg, ISBN 978-3-540-74957-8
    16. WHATSAT: Dynamic Heap Type Inference for Program Understanding and Debugging. Marina Polishchuk, Ben Liblit, Chloë W. Schulze. Technical Report #1583, Computer Sciences Department, University of Wisconsin, December 2006, available from: http://128.105.7.31/techreports/2006/TR1583.pdf
    17. Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, and W. E. Wong. in proceedings QSIC'08 The 8th International Conference on Quality Software 2008 Aug 12-13, 2008 Oxford, UK, Art. No. 4601538, pp. 145-154, ISBN 978-0-7695-3312-4
    18. Carving Differential Unit Test Cases from System Test Cases. Hui Nee Chin, Jonathan Dokulil, Matthew B. Dwyer, and Sebastian Elbaum. in Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering Nov 5-11, 2006, Portland, Oregon, pp. 253-264, ISBN 1-59593-468-5.
    19. The Effectiveness of using Non Redundant Test Cases with Program Spectra for Bug Localization. Hua Jie Lee, Lee Naish, and Kotagiri Ramamohanarao. in Proceedings of the 2nd IEEE International Conference on Computer Science and Information Technology, Beijing, China Aug 8-11, 2009, pp 127-134, ISBN 978-1-4244-4519-6
    20. The Implementation of an Extensible System for Comparison and Visualization of Class Ordering Methodologies. Peter J. Clarke, Nicholas A. Kraft, Errol L. Lloyd, and Brian A. Malloy. in The Journal of Systems & Software, Volume 79, Issue 8, August 2006, pp. 1092-1109, 2006 Elsevier The Netherlands
    21. DSD-Crasher: A Hybrid Analysis Tool for Bug Finding. Christopher Csallner, Yannis Smaragdakis, and Tao Xie. in journal ACM Transactions in Software Engineering and Methodology (TOSEM), Volume 17, Issue 2, April 2008, Article No. 8, pp. 8:1-8:37, ISSN 1049-331X
    22. Combining Over− and Under−Approximating Program Analyses for Automatic Software Testing. Christopher Csallner. Doctoral Dissertation, School of Computer Science, Georgia Institute of Technology, August 2008, available from http://smartech.gatech.edu/dspace/bitstream/1853/24764/1/csallner_christoph_200808_phd.pdf
    23. Evaluating a Lightweight Defect Localization Tool. Valentin Dallmeier, Christian Lindig, and Andreas Zeller. in proceedings of the 2005 Bug Workshop, Department of Computer Science, University of Maryland, available from https://www.cs.umd.edu/~pugh/BugWorkshop05/papers/22-dallmeier.pdf
    24. Lightweight Defect Localization for Java. Valentin Dallmeier, Christian Lindig, and Andreas Zeller. in journal ECOOP 2005 − Object Oriented Programming, Volume 3586/2005 , Springer Berlin 2005, pp. 528-550, ISBN 978-3-540-27992-1
    25. Detecting Failure-Related Anomalies in Method Call Sequences. Valentin Dallmeier. diploma thesis, Department of Computer Science, Saarland University, Germany, March 2005, available from http://www.st.cs.uni-sb.de/~dallmeier/pub/thesis/thesis_dallmeier.pdf
    26. Automatic Extraction of Bug Localization Benchmarks from History. Valentin Dallmeier, and Thomas Zimmerman. Technical Report, Saarland University, Saarbrücken, Germany, June 2007, available from http://www.st.cs.uni-sb.de/publications/files/dallmeier-tr-2007.pdf
    27. An Empirical Evaluation of Data Flow Testing of Java Classes. Giovanni Denaro, Alessandra Gorla, and Mauro Pezzé. Technical Report No. 2007/03, January 2007, University of Milan−Bicocca − Department of Information Systems and Communications, available from http://doc.rero.ch/lm.php?url=1000,42,6,20080407123147-ZI/ITR0703.pdf
    28. Contextual Integration Testing of Classes. Giovanni Denaro, Alessandra Gorla, and Mauro Pezzé. in journal Fundamental Approaches to Software Engineering, Volume 4961/2008, pp. 246-260, ISBN 978-3-540-78742-6
    29. Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques. Hyunsook Do. Doctoral Thesis, Department of Computer Science and Engineering, University of Nebraska at Lincoln, 2007, available from http://digitalcommons.unl.edu/dissertations/AAI3250075
    30. A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults. Hyunsook Do, and Gregg Rothermel. in Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05) Budapest, Hungary, Sept 25-30, 2005, pp. 411-420.
    31. Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis. Hyunsook Do, Gregg Rothermel, and Alex Kinneer. in journal Empirical Software Engineering, Volume 11, Number 1 March 2006. Springer Netherlands pp. 33-70 ISSN 1382-3256.
    32. An Empirical Study of Regression Testing Techniques Incorporating Context and Lifetime Factors and Improved Cost-Benefit Models. Hyunsook Do, and Gregg Rothermel. in Proceedings of the 14th ACM SIGSOFT International symposium on Foundations of Software Engineering, Portland, Oregon, Nov 5-8, 2006, pp. 141-151, ACM New York, NY 2006, ISBN 1-59593-468-5
    33. Using Sensitivity Analysis to Create Simplified Economic Models for Regression Testing. Hyunsook Do, and Gregg Rothermel. in ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008, Seattle, WA USA, July 20-24, 2008, pp. 51-61, ISBN 978-1-60558-050-0
    34. Empirical Studies in Reverse Engineering: State of the Art and Future Trends. Bart Du Bois, Paolo Tonella, Marco, Torchiano, and Tarja Systä. in journal Empirical Software Engineering, Volume 12, Number 5, October 2007, Springer Netherlands, ISSN 1382-3256
    35. Adaptive Online Program Analysis: Concepts, Infrastructure, and Applications. Matthew B. Dwyer Sebastian Elbaum, and Alex Kinneer. in proceedings of the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, MN USA, May 20-26, 2007, pp. 220-229.
    36. Differential Symbolic Execution. Matthew B. Dwyer, Sebastian Elbaum, Corina S. Pâsâreanu, and Suzette Person. in ACM SIGSOFT'08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Atlanta, Georgia, November 9-14, 2008, pp. 226-237, ISBN 978-1-59593-995-1.
    37. Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. Matthew B. Dwyer John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Robby Wallentine, and Todd Wallentine. in journal, Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin 2006, pp. 73-89, ISBN 978-3-540-33056-1.
    38. Formal Software Analysis Emerging Trends in Software Model Checking. Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pâsâreanu, and Willem Visser. in proceedings of the IEEE International Conference on Software Engineering, Minneapolis, MN USA, May 20-26, 2007, pp. 120-136, ISBN 0-7695-2829-5.
    39. AFID: An Automated Fault Identification Tool. Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, and Brian Demsky. in ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008, Seattle, WA, USA, July 20-24, 2008, pp. 179-188, ISBN 978-1-60558-050-0
    40. Empirical Evaluations of Regression Test Selection Techniques: a Systematic Review. Emelie Engström, Per Runeson, and Mats Skoglund. in Proceedings of the Second ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ACM ESEM'08), Kaiserslautern, Germany, October 2008, pp. 22-31, ISBN 978-1-59593-971-5.
    41. Differential Testing: A New Approach to Change Detection. Robert B. Evans, and Alberto Savoia. Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik, Croatia 2007, pp. 549-552, ACM New York, NY 2007, ISBN 978-1-59593-811-4
    42. Decreasing the Cost of Mutation Testing with Second-Order Mutants. Ignacio Garcia-Rodriguez, Mario Piattini, and Macario Polo. Software Testing, Verification and Reliability, John Wiley & Sons Ltd., June 3, 2008, http://dx.doi.org/10.1002/stvr.392
    43. An Approach for Experimentally Evaluating Effectiveness and Efficiency of Coverage Criteria for Software Testing. Atul Gupta, and Pankaj Jalote. International Journal on Software Tools for Technology Transfer (STTT),Volume 10, Number 2/March 2008, pp. 145-160, Springer Berlin/Heidelberg 2008, ISSN 1433-2779
    44. A Multipurpose Code Coverage Tool for Java. Raghu Lingampally, Atul Gupta, and Pankaj Jalote. Proceedings of the 40th Annual Hawaii International Conference on System Sciences, (HICSS'07) 2007, pp. 261b, ISBN 0-7695-2755-8
    45. A Theoretical & Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation. Mark Harman, and Phil McMinn. in Proceedings of the 2007 International Symposium on Software Testing and Analysis, London, UK, 2007, pp. 73-83, ISBN 978-1-59593-734-6.
    46. Search Algorithms for Regression Test Case Prioritization. Zheng Li, Mark Harman, and Robert M. Hierons. IEEE Transactions on Software Engineering, Volume 33, no. 4, pp. 225-237, April 2007, ISSN 0098-5589
    47. A Multi-Objective Approach to Search-Based Test Data Generation. Mark Harman, Kiran Lakhotia, and Phil McMinn. ACM GECCO '07: Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation, London, UK July 2007, pp. 1098-1105, ISBN 978-1-59593-697-4.
    48. Pareto Efficient Multi-Objective Test Case Selection. Shin Yoo, and Mark Harman. Proceedings of the 2007 International Symposium on Software Testing and Analysis, London, UK, pp. 140-150, ACM New York, NY 2007, ISBN 978-1-59593-734-6
    49. Usage Patterns of the Java Standard API. Homan Ma, Robert Amor, and Ewan Tempero. 13th Asia Pacific Software Engineering Conference (APSEC'06), 2006, pp.342-352, IEEE Washington, DC 2006
    50. Predicting Fault Locations from Failures using a Machine Learning Classifier. Geoffrey C. Hulette. Masters Thesis − University of California − San Diego, 2007, available from http://ix.cs.uoregon.edu/~ghulette/documents/geoff_hulette_thesis.pdf
    51. Fault Localization with Non-Parametric Program Behavior Model. Peifeng Hu, W.K. Chan, Zhenyu Zhang, and T.H. Tse. Proceedings − International Conference on Quality Software, art. no. 4601568, 2008, pp. 385-395, ISBN 978-0-7695-3312-4
    52. Constructing Subtle Faults using Higher Order Mutation Testing. Mark Harman, and Yue Jia. Proceedings − 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008, art. no. 4637557, 2008, pp. 249-258
    53. Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments. Hyejin Oh, Byoungju Choi, Hyuksoo Han, and W. E. Wong. Proceedings of the IEEE 8th International Conference on Quality Software (QSIC'08), art. no. 4601528, 2008, pp. 57-66, IEEE Washington, DC 2008, ISBN 978-0-7695-3312-4
    54. Increasing Test Granularity by Aggregating Unit Tests. Matthew Jorde, Sebastian Elbaum, and Matthew B. Dwyer. ASE 2008 − Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, art. no. 4639304, pp. 9-18, September 15-19, 2008, ISBN 978-1-4244-2187-9
    55. Predictive Testing: Amplifying the Effectiveness of Software Testing. Pallavi Joshi, Koushik Sen, and Mark Shlimovich. ACM ESEC-FSE '07: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, Dubrovnik, Croatia, September 2007, pp. 561-564, ISBN 978-1-59593-811-4.
    56. Software Reliability Experimentation and Control. Kai Yuan Cai. Journal of Computer Science and Technology, Sept. 2006, Vo1. 21, No. 5, Institute of Computing Technology − Chinese Academy of Sciences, pp. 697-707, ISSN 1000-9000
    57. A Comprehensive Framework for Testing Database-Centric Software Applications. Gregory M. Kapfhammer. Doctoral Thesis, Department of Computer Science, University of Pittsburg, PA, April 19, 2007, available from http://etd.library.pitt.edu/ETD/available/etd-03282007-170919/unrestricted/kapfhammer_dissertation_final_April_2007.pdf
    58. Time-Aware Test Suite Prioritization. Kristen R. Walcott, Gregory M. Kapfhammer, Robert S. Roos, and Mary Lou Soffa. Proceedings of the 2006 International Symposium on Software Testing and Analysis, Portland, Oregon, pp. 1-12, ACM New York, NY 2006, ISBN 1-59593-263-1
    59. Assessing the Cost-Benefits of Using Type Inference Algorithms to Improve the Representation of Exceptional Control Flow in Java. Alex, Kinneer, and Gregg Rothermel. Technical report, Department of Computer Science and Engineering, University of Nebraska at Lincoln, May 15, 2005, 25 pgs., available from http://cse.unl.edu/~grother/papers/tr20050002.pdf
    60. A Tool Chain for Reverse Engineering C++ Applications. Nicholas A. Kraft, Brian A. Malloy, and James F. Power. in journal Science of Computer Programming, Volume 69, Isssues 1-3, December 1, 2007, Elsevier, pp. 3-13
    61. Incremental State-Space Exploration for Programs with Dynamically Allocated Data. Steven Lauterburg, Ahmed Sobeih, Darko Marinov, and Mahesh Viswanathan. in the Proceedings of the International Conference on Software Engineering, (ICSE'08), Leipzig, Germany, ACM New York, NY 2008, pp. 291-300, ISBN 978-1-60558-079-1
    62. Failure Proximity: A Fault Localization-Based Approach. Chao Liu, and Jiawei Han. Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Portland, Oregon 2006, pp. 46-56, ACM New York, NY 2006, ISBN 1-59593-468-5.
    63. Exploiting Design Patterns to Automate Validation of Class Invariants. Brian A. Malloy, and James F. Power. Software Testing, Verification and Reliability, Volume 16 Issue 2 (June 2006), pp. 71-95, Wiley & Sons Ltd. Chinchester, UK 2006, ISSN 0960-0833
    64. Exploiting the Empirical Characteristics of Program Dependences for Improved Forward Computation of Dynamic Slices. Wassim Masri. Empirical Software Engineering, Volume 13 Number 4, 2008, pp. 369-399, Springer Science
    65. Measuring the Strength of Information Flows in Programs. Wassim Masri, and Andy Podgurski. ACM Transactions on Software Engineering and Methodology, 2008, available from http://www-lb.cs.aub.edu.lb/wm13/AUB-CMPS-07-08.pdf
    66. An Empirical Study on Bayesian Network-Based Approach for Test Case Prioritization. Siavash Mirarab, and Ladan Tahvildari. in Proceedings of the 2008 International Conference on Software Testing, Verification and Validation, ICST 2008, art. no. 4539555, pp. 278-287, IEEE Computer Society Washington, DC 2008, ISBN 978-0-7695-3127-4
    67. Historical Value-Based Approach for Cost-Cognizant Test Case Prioritization to Improve the Effectiveness of Regression Testing. Hyuncheol Park, Hoyeon Ryu, and Jongmoon Baik. Proceedings − The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), art. no. 4579792, pp. 39-46, IEEE Computer Society Washington, DC 2008, ISBN 978-0-7695-3266-0
    68. Faults' Context Matters. Jaymie Strecker, and Atif M. Memon. in ACM SOQUA '07: the Fourth International Workshop on Software Quality Assurance: in conjunction with the 6th ESEC/FSE conference, Dubrovnik, Croatia, September 2007, pp. 112-115, ACM New York, NY 2007, ISBN 978-1-59593-724-7.
    69. Sieve: A Tool for Automatically Detecting Variations Across Program Versions. Murali Krishna Ramanathan, Ananth Grama, and Suresh Jagannathan. in 21st IEEE/ACM International Conference on Automated Software Engineering 2006 (ASE '06), 18-22 Sept. 2006, vol., no., pp.241-252, IEEE Washington, DC, ISBN 0-7695-2579-2
    70. PHALANX: A Graph-Theoretic Framework for Test Case Prioritization. Murali Krishna Ramanathan, Mehmet Koyuturk, Ananth Grama, and Suresh Jagannathan. in Proceedings of the ACM Symposium on Applied Computing, 2008, Fortaleza, Ceara, Brazil, pp. 667-673, ACM New York, NY 2008, ISBN 978-1-59593-753-7
    71. Test Benchmarks − What is the Question? Per Runeson, Mats Skoglund, and Emelie Engström. 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, art. no. 4567036, pp. 368-371, IEEE Computer Society Washington, DC 2008, ISBN 978-0-7695-3388-9
    72. Experimental Program Analysis: A New Program Analysis Paradigm. Joseph R. Ruthruff, Sebastian Elbaum, and Gregg Rothermel. in Proceedings of the 2006 International Symposium on Software Testing and Analysis, pp. 49-60, ACM New York, NY 2006, ISBN 1-59593-263-1.
    73. DiffGen: Automated Regression Unit-Test Generation. K. Taneja, and Tao Xie. ASE 2008 − Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), art. no. 4639353, pp. 407-410, IEEE 2008, ISBN 978-1-4244-2187-9
    74. Hierarchical Dynamic Slicing. Tao Wang, and Abhik Roychoudhury. Proceedings of the 2007 International Symposium on Software Testing and Analysis, London, UK 2007, pp. 228-238, ACM New York, NY 2007, ISBN:978-1-59593-734-6
    75. Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. Tao Xie. in journal ECOOP 2006 − Object Oriented Programming, Volume 4067/2006, Springer Berlin/Heidelberg, pp. 380-403, ISBN 978-3-540-35726-1
    76. Maximising the Information Gained from a Study of Static Analysis Technologies for Concurrent Software. Margaret A. Wojcicki, and Paul Strooper. in journal Empirical Software Engineering, Volume 12, Number 6/December 2007, pp. 617-645, Springer Netherlands, ISSN 1382-3256
    77. Maximising the Information Gained from an Experimental Analysis of Code Inspection and Static Analysis for Concurrent Java Components. Margaret A. Wojcicki, and Paul Strooper. in Proceedings of the 2006 ACM/IEEE International Symposium on Empirical Software Engineering, Rio de Janeiro, Brazil, pp. 174-183, ACM New York, NY 2006, ISBN 1-59593-218-6
    78. A Dynamic Approach to Statistical Debugging: Building Program Specific Models with Neural Networks. Matthew Wood. Undergraduate Thesis, School of Computer Science, Georgia Institute of Technology, May 2007, available from http://smartech.gatech.edu/bitstream/1853/16121/1/thesis.pdf
    79. Configuration-Aware Regression Testing: An Empirical Study of Sampling and Prioritization. Xiao Qu, Myra B. Cohen, and Gregg Rothermel. in Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008 (ISSTA'08), pp. 75-85, ACM New York, NY 2008, ISBN 978-1-60558-050-0
    80. Time Will Tell: Fault Localization using Time Spectra. Cemal Yilmaz, Amit Paradkar, and Clay Williams. in Proceedings of the 30th International Conference on Software Engineering, 2008, pp. 81-90, ACM New York, NY 2008, ISBN 978-1-60558-079-1
    81. Test Case Prioritization based on Analysis of Program Structure. Zengkai Ma, and Jianjun Zhao. in proceedings of the IEEE Asia-Pacific Software Engineering Conference, 2008 (APSEC'08), December 3-5, 2008, pp. 471-478, ISBN 978-0-7695-3446-6.
    82. Debugging Through Evaluation Sequences: A Controlled Experimental Study. Zhenyu Zhang, Bo Jiang, W.K. Chan, and T.H. Tse. in Proceedings of the 2008 32nd Annual International Computer Software and Applications Conference, 2008, art. no. 4591546, pp. 128-135, IEEE Computer Society Washington, DC 2008, ISBN 978-0-7695-3262-2
    83. Fault Localization through Evaluation Sequences. Z. Zhang, B. Jiang, W.K. Chan, T.H. Tse, and X. Wang. in Journal of Systems and Software, volume 83, issue 2, year 2010, pp. 174 - 187, Elsevier B.V. Netherlands 2010
    84. A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra Information. Shali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, and Yuming Zhou. In Proceedings of the 3rd International Conference on Sofware Testing, Verification and Validation (ICST 2010), Paris, France, April 6-10, 2010, pp. 147-154, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-6435-7
    85. An Improved Regression Test Selection Technique by Clustering Execution Profiles. Chen Zhang, Zhenyu Chen, Zhihong Zhao, Shali Yan, Jinyu Zhang. in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 14-15, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 13-22
    86. Retesting Software During Development and Maintenance. Mary Jean Harrold, Alessandro Orso. In proceedings, ICSM2008 Frontiers of software maintenance (FoSM 2008), 2008. Beijing Sept 28 to Oct 4, 2008, pp. 99-108
    87. Carving and Replaying Differential Unit Test Cases from System Test Cases. Sebastian Elbaum, Hui Nee Chin, Matthew B. Dwyer, and Matthew Jorde. in journal IEEE Transations on Software Engineering, Vol 35, Issue 1, Jan/Feb 2009, pp. 29-45, ISSN 00985589
    88. An Empirical Evaluation of the First and Second Order Mutation Testing Strategies. Mike Papadakis, and Nicos Malevris. in Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (ICSTW) , Paris France April 6-10, 2010, pp.90-99, ISBN 978-0-7695-4050-4
    89. SUDS: An Infrastructure for Creating Dynamic Software Defect Dection Tools. Eric Larson. in Journal of Automated Software Engineering, vol. 17, no. 3/September 2010, Springer Netherlands, pp. 301-346, ISSN 0928-8910
    90. Using Virtual Machines for Collaborative Research. Vinay Augustine, and Brian Robinson. In Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM '10). Bolzano-Bozen, Italy, Sept. 16-17, 2010, ACM, New York, NY, USA, , Article 38 , pp. 1-4. ISBN 978-1-4503-0039-1
    91. Information Visualization and Machine Learning Applied on Static Code Analysis. Darius Sidlauskas, and Denis Kacan. Master's Thesis, Blekinge Institute of Technology, June 2008, Thesis no: MSE-2008-09, available from http://www.bth.se/fou/cuppsats.nsf/all/a45ead63a287ce18c1257476002d87fc/$file/thesis_mse_2008_09.pdf
    92. Validation of Machine Learning and Visualization based Static Code Analysis Technique. Waqas Mahmood, and Muhammad Faheem Akhtar. Master's Thesis, Blekinge Institute of Technology, June 2009, available from http://www.bth.se/fou/cuppsats.nsf/all/d925e834b04665c4c12575d7004f588d/$file/Validation of Static Code Analysis.pdf
    93. Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments. Samar Mouchawrab, Lionel C. Briand, Yvan Labiche, and Massimiliano DiPenta. in journal IEEE Transactions on Software Engineering, Vol. 99, February 09, 2010, IEEE Computer Society, Washington, DC, 2010, 57 pgs., ISSN 0098-5589
    94. A Study of Relative Redundancy in Test-suite Reduction while Retaining or Improving Fault-Localization Effectiveness. Xin Zhang, Qing Gu, Xiang Chen, Jingxian Qi, and Daoxu Chen. in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC'10), Sierre, Switzerland March 22-26, 2010, ACM, New York, NY, pp. 2229-2236, ISBN 978-1-60558-639-7
    95. Validity Concerns in Software Engineering Research. Hyrum K. Wright, Miryung Kim, and Dewayne E. Perry. In Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research, Santa Fe, New Mexico, USA, Nov. 7-11, 2010, pp.411-414, ACM New York, NY, ISBN 978-1-4503-0427-6
    96. A Context-Sensitive Coverage Criterion for Test Suite Reduction. Scott David McMaster. Doctoral Thesis, University of Maryland, College Park, April 18, 2008, available from http://hdl.handle.net/1903/8077
    97. Empirical Evaluation of Nesting Testability Transformation for Evolutionary Testing. Phil McMinn, David Binkley, and Mark Harman. in journal ACM Transactions on Software Engineering and Methodology, Vol 18 Iss 3 Article no. 11, May 2009. ACM New York, NY. ISSN 1049-331X
    98. Application of System Models in Regression Test Suite Prioritization. B. Korel, G. Koutsogiannakis, and L.H. Tahat. in IEEE International Conference on Software Maintenance 2008 (ICSM 2008), Sept 28 - Oct 4, 2008, pp. 247-256 2008 IEEE, Washington DC, USA
    99. A Theoretical and Empirical Study of Search Based Testing: Local, Global and Hybrid Search. Mark Harman, and Phil McMinn. in journal IEEE Transactions on Software Engineering 2010, Vol 36 Iss 2 March-April 2010, pp. 226-247, 2010 IEEE Washington DC, USA,ISSN 0098-5589
    100. How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization. Bo Jiang, Zhenyu Zhang, T.H. Tse, and T.Y. Chen. in Proceedings of the 33 Annual IEEE International Computer Software and Applications Conference 2009 (COMPSAC 09), Seattle,Washington, July 20-24, 2009, pp. 99-106, 2009 IEEE Washington, DC, USA
    101. Adaptive Random Test Case Prioritization. Bo Jiang, Zhenyu Zhang, W.K. Chan, and T.H. Tse. in Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE '09), Auckland, New Zealand, November 16-20, 2009, pp. 233-244, 2009 IEEE, New York, NY, USA, ISBN 978-0-7695-3891-4
    102. An Empirical Study of the Effect of Time Constraints on the Cost-Benefits of Regression Testing. Hyunsook Do, Siavash Mirarab, Ladan Tahvilda, and Gregg Rothermel. in Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2008/FSE-16), Atlanta, Georgia, Nov 9-14, 2008, pp. 71-82, 2008 ACM, New York, NY, ISBN 978-1-59593-995-1
    103. Darwin: an approach for debugging evolving programs. Dawei Qi, Roychoudhury, Zhenkai Liang, and Kapil Vaswani. in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE '09), Amsterdam Aug 24-28, 2009, pp. 33-42, 2009 ACM, New York, NY, ISBN 978-1-60558-001-2
    104. Finding and Fixing Faults. Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, and Roderick Bloem. in journal Correct Hardware Design and Verification Models, Vol 3725/2005, pp. 35-49, 2005 Springer, ISBN 978-3-540-29105-3
    105. A Critical Analysis of Empirical Research in Software Testing. Lionel C. Briand. Keynote address, 1st International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), Madrid, Spain Sept 20-21, 2007, IEEE, Washington, 2007, pp. 1-8, ISBN 978-0-7695-2886-1
    106. Database-Aware Test Coverage Monitoring. Gregory M. Kapfhammer, and Mary Lou Soffa. in Proceedings 1st annual India Software Engineering Conference, Hyderabad, India (ISEC '08), pp. 77-86, ACM, New York, NY, ISBN 978-1-59593-917-3
    107. Testing of User-Configurable Software Systems Using Firewalls. Brian Robinson, and Lee White. in Proceedings of the 2008 19th International Symposium on Software Reliability Engineering (ISSRE '08), IEEE Computer Society, Washington DC, 2008, pp. 117-186, ISBN 978-0-7695-3405-3
    108. Spectrum-Based Multiple Fault Localization. Rui Abreu, Peter Zoeteweij, and Arjan J.C. van Gemund. in Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE '09), Auckland, New Zealand, November 16-20, 2009, pp. 88-99, 2009 IEEE Computer Society, Washington, DC, ISBN 978-0-7695-3891-4
    109. Taming Coincidental Correctness: Coverage Refinement with Context Patterns to Improve Fault Localization. Xinming Wang, S.C. Cheung, W.K. Chan, and Zhenyu Zhang. in Proceedings of the 31st International Conference on Software Engineering (ICSE'09), IEEE Computer Society, Washington, DC, 2009, USA, pp. 45-55. ISBN 978-1-4244-3453-4
    110. The Influence of Size and Coverage on Test Suite Effectiveness. Akbar Siami Namin, and James H. Andrews. in Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (ISSTA '09), Chicago, IL, July 19-23, 2009, ACM New York, NY. pp. 57-68. ISBN 978-1-60558-338-9
    111. Refactoring for Reentrancy. Jan Wloka, Manu Sridharan, and Frank Tip. in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE '09), ACM, New York, NY, USA, pp. 173-182, ISBN 978-1-60558-001-2
    112. Safe-Commit Analysis to Facilitate Team Software Development. Jan Wloka, Barbara Ryder, Frank Tip, and Ren Xiaoxia. in Proceedings of the 31st International Conference on Software Engineering (ICSE'09), IEEE Computer Society, Washington, DC, USA, 2009, pp. 507-517, ISBN 978-1-4244-3453-4
    113. Theoretical Runtime Analysis in Search Based Software Engineering. Andrea Arcuri, Per Kristian Lehre, and Xin Yao. Technical report CSR-09-04, School of Computer Science University of Birmingham, 2009. available from http://www.cs.bham.ac.uk/~axa/papers/paper_tech09c.pdf
    114. Is Non-Parametric Hypothesis Testing Model Robust For Statistical Fault Localization? Zhenyu Zhang, W.K. Chan, T.H. Tse, Peifeng Hu, and Xinming Wang. in journal Information and Software Technology, Vol 51 Iss 11 Nov 2009, Elsevier B.V. Netherlands, pp. 1573-1585.
    115. Clustering Test Cases to Achieve Effective and Scalable Prioritisation Incorporating Expert Knowledge. Shin Yoo, Mark Harman, Paolo Tonella, and Angelo Susi. in Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (ISSTA '09), ACM New York, NY. pp. 201-212. ISBN 978-1-60558-338-9
    116. A Firewall Model for Testing User-Configurable Software Systems. Brian P. Robinson. Doctoral Thesis, Department of Computing and Information Science Case Western Reserve University, 2008. pp. 1-169. available from http://rave.ohiolink.edu/etdc/view?acc_num=case1206466905
    117. A Model for Spectra-based Software Diagnosis. Lee Naish, Hua Jie Lee, and Kotagiri Ramamohanarao. in journal ACM Transactions on Software Engineering and Methodology, August 2011, Vol. 20 Iss. 3, pp. 11:1-11:32, ACM New York, NY, ISSN 1049-331X
    118. Capturing Propagation of Infected Program States. Zhenyu Zhang, W.K. Chan, T.H. Tse, Bo Jiang, and Xinming Wang. in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC/FSE '09), ACM New York, NY, pp. 43-52. ISBN 978-1-60558-001-2
    119. Guided Path Exploration for Regression Test Generation. Kunal Taneja, Tao Xie, Nikolai Tillmann, Johnathan de Halleux, and Wolfram Schulte. Microsoft Research, 2009, available from http://research.microsoft.com/pubs/81092/icse09nier-regression[1].pdf
    120. Automatic Failure Inducing Chain Computation through Aligned Execution Comparison. William N. Sumner, and Xiangyu Zhang. Technical report, Department of Computer Science, Purdue University, September 2008, available from http://www.cs.purdue.edu/research/technical_reports/2008/TR%2008-023.pdf
    121. Algorithms for Automatically Computing the Causal Paths of Failures. William N. Sumner, and Xiangyu Zhang. in journal Lecture Notes in Computer Science, vol. 5503/2009, Springer, 2009, pp. 355-369, ISBN 978-3-642-00592-3
    122. Study of the Relationship of Bug Consistency with Respect to Performance of Spectra Metrics. Hua Jie Lee, Naish Lee, and Kotagiri Ramamohanarao. in Proceedings of the 2nd IEEE International Conference on Computer Science and Information Technology (ICCSIT 09), Beijing China Aug 8-11, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 501-508, ISBN 978-4244-4519-6
    123. A Practical Evaluation of Spectrum-based Fault Localization. Rui Abreu, Peter Zoeteweij, Rob Golsteijn, and Arjan J.C. van Gemund. in Journal of Systems and Software, Vol 82 Iss 11 Nov 2009, Elsevier B.V. Netherlands, pp. 1780-1792
    124. A Systematic Review on Regression Test Selection Techniques. Emelie Engström, Per Runeson, and Mats Skoglund. in journal Information and Software Technology, Vol 52 Iss 1 Jan 2010, Elsevier B.V. Netherlands 2009, pp. 14-30
    125. Better Debugging via Output Tracing and Callstack-Sensitive Slicing. Susan Horwitz, Ben Liblit, and Marina Polishchuk. in journal IEEE Transactions on Software Engineering, Vol 36 no. 1 Jan/Feb 2010, IEEE Computer Society, Washington, DC, 2010, pp. 7-19
    126. Indexing Noncrashing Failures: A Dynamic Program Slicing-based Approach. Chao Liu, Xiangyu Zhang, Jiawei Han, Yu Zhang, and Bharat K. Bhargava. in Proceedings of 23rd IEEE International Conference on Software Maintenance (ICSM 07), Paris France Oct 2-5 2007, IEEE, Washington, DC, 2007, pp. 455-464
    127. Regression Testing Minimization, Selection and Prioritization: A Survey. S. Yoo, and M. Harman. in journal Software Testing, Verification and Reliability, Mar 11, 2010, John Wiley & Sons, Ltd.
    128. TestFul: An Evolutionary Test Approach for Java. Luciano Baresi, Pier Luca Lanzi, and Matteo Miraz. in Proceedings of Third International Conference on Software Testing, Verification and Validation, Paris France April 6-9 2010, IEEE Computer Society, Washington, DC, 2010, pp. 185-194, ISBN 978-0-7695-3990-4
    129. Experimental Comparison of Code-Based and Model-Based Test Prioritization. Bogdan Korel, and George Koutsogiannakis. in Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW 2009), April 1-4, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 77-84, ISBN 978-0-7695-3671-2
    130. Profile-Guided Program Simplification for Effective Testing and Analysis. Lingxiao Jiang, and Zhendong Su. in Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT '08/FSE-16), Atlanta, Georgia, Nov 9-14, 2008, ACM New York, NY, 2008, pp. 48-58, ISBN 978-1-59593-995-1
    131. A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. Rui Abreu, Arjan J.C. van Gelmund, V. Bulitko, and C. Beck. in Proceedings of the 8th Symposium on Abstraction, Reformulation and Approximation (SARA '09), Lake Arrowhead, CA, USA, Sept 7-10 2009. AAAI Press, Menlo Park, CA. ISBN 978-1-57735-433-8
    132. Factors Affecting the use of Genetic Algorithms in Test Suite Augmentation. Zhihong Xu, Myra B. Cohen, and Gregg Rothermel. in Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computing (GECCO '10), Portland, Oregon July 7-10, 2010, ACM New York, NY, pp. 1365-1372, ISBN:978-1-4503-0072-8
    133. Effective Identification of Failure-Inducing Changes: a Hybrid Approach. Sai Zhang, Yu Lin, Zhongxian Gu, and Jianjun Zhao. in Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE '08), Atlanta, Georgia, Nov 9-10, 2008, ACM New York, NY, pp. 77-83, ISBN 978-1-60558-382-2
    134. Testing-based Process for Evaluating Component Replaceability. Andres Flores, and Macario Polo. in journal Electronic Notes on Theoretical Computer Science, Vol 236, April 2, 2009, Elsevier B.V. Netherlands, pp. 101-115
    135. Directed Test Suite Augmentation: Techniques and Tradeoffs. Zhihong Xu, Yunho Kim, Kim Moonzoo, Gregg Rothermel, and Myra B. Cohen. in Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference (APSEC '09), Batu Ferringhi, Penang, Malaysia Dec 1-3, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 406-413, ISBN 978-0-7695-3909-6
    136. An Empirical Study of the Factors that Reduce the Effectiveness of Coverage-Based Fault Localization. Wes Masri, Rawad Abou-Assi, Marwa El-Ghali, and Nour Al-Fatairi. in Proceedings Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), Chicago, IL, July 19, 2009, pp. 1-5, ISBN 978-1-60558-654-0
    137. A Systematic Study of Failure Proximity. Chao Liu, Xiangyu Zhang, and Jiawei Han. IEEE Transactions on Software Engineering, vol 34, no. 6 Nov/Dec 2008, IEEE Computer Society, Washington, DC, 2008, pp. 826-843
    138. Property-Aware Program Sampling. Harish Narayanappa, Mukul S. Bansal, and Hridesh Rajan. in Proceedings of the 10th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '10), Toronto, Canada, June 5-6, 2010, pp. 45-52, 2010 ACM New York, NY, pp. 45-52, ISBN 978-1-4503-0082-7
    139. Structural Coverage of Feasible Code. Mauro Baluda, Pietro Braione, and Mauro Pezzé. in Proceedings of the 5th Workshop on Automation of Software Test (AST '10), Cape Town, South Africa, May 2-8, 2010, ACM, New York, NY, pp. 59-66, ISBN 978-1-60558-970-1
    140. Improving Software Maintenance and Security Testing through Dynamic Compilers. Benjamin A. Breech. Doctoral Thesis Department of Computer and Information Sciences, University of Delaware, December 20, 2008, 163 pgs., available from http://servo.cs.wlu.edu/dspace/bitstream/123456789/193/1/breech-thesis.pdf
    141. Statistical Debugging and Automated Program Failure Triage. Liu Chao. Doctoral Thesis College of Computer Science, University of Illinois at Urbana-Champaign, 2007, available from http://hdl.handle.net/2142/11348
    142. An Infrastructure to Support Interoperability in Reverse Engineering. Nicholas A. Kraft, Brian A. Malloy, and James F. Power. in Journal of Information and Software Technology, March 2007, Vol. 49 Iss. 3, pp. 292-307, Butterworth-Heinemann, Newton MA, USA, ISSN 0950-5849
    143. Reducing Regression Test Size by Exclusion. K. Gallagher, T. Hall, and S. Black. in proceedings IEEE International Conference on Software Maintenance (ICSM 2007). Paris, France, Oct 2-5, 2007, pp. 154-163, 2007 IEEE Washington DC, USA, ISBN 978-1-4244-1256-3
    144. TCAS Software Verification using Constraint Programming. Arnaud Gotlieb. in Proceedings of the 7th EUROCONTROL Innovative Research Workshop & Exhibition, December 2-4, 2008, Bretigny-sur-Orge, France, available from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.183.7434&rep=rep1&type=pdf
    145. Testing-based Assessment Process for Upgrading Component Systems. Andres Flores, and Marcario Polo Usaola. in Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, Sept 28 - Oct 4, 2008, IEEE Computer Society, Washington, DC, 2008, pp. 327-336
    146. Formal Testing Approaches for Service-Oriented Architectures and Web Services: a Systematic Review. André Takeshi Endo, and Adenilso da Silva Simão. Technical report, Department of Computer Sciences, University of Sao Paulo - Sao Carlos, March 2010, available from http://www.icmc.usp.br/~biblio/BIBLIOTECA/rel_tec/RT_348.pdf
    147. Game Theory for Reliable Computer Systems. Barbara Jobstmann. Research summary, Ecole Polytechnique Federale de Lausanne, available from http:www-verimag.imag.fr/~jobstman/files/research.pdf
    148. Using Hardware Performance Counters for Fault Localization. Cemal Yilmaz. in Proceedings of the International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services (CENTRIC 2010), Nice, France Aug 22-27, 2010, available from http://research.sabanciuniv.edu/13961/1/PID1298229.pdf
    149. A Diagnostic Approach to Test Prioritization. Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. van Gemund. Technical report Department of Software Technology Delft University of Technical, available from http://www.esi.nl/projects/poseidon/publications/A_Diagnostic_Approach_to_Test_Prioritization.pdf
    150. The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual Defects. Panduka Nagahawatte, and Hyunsook Do. in Proceedings of 2010 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France April 6-9, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 79-88, ISBN 978-0-7695-3990-4
    151. A Comprehensive Evaluation of Association Measures for Fault Localization. Lucia Lucia, David Lo, Lingxiao Jiang, and Aditya Budi. in Proceedings of the 2010 IEEE International Conference Software Maintenance (ICSM'10), Timisoara, Romania, September 12-18, 2010, pp. 1-10, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-8630-4
    152. A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes. Stefan Christov, George Avrunin, Lori A. Clarke, Leon J. Osterweil, and Elizabeth Henneman. in Proceedings of the International Conference on Software Engineering, 2nd Intl. Workshop on Software Engineering in Health Care (SEHC'10), Cape Town, South Africa, May 3-4, 2010. ACM New York, NY, pp. 50-56, ISBN 978-1-60558-973-2
    153. Measuring and Improving Latency to Avoid Test Suite Wear Out. Shin Yoo, Shmuel Ur, and Mark Harman. in Proceedings of the International Conference on Software Testing, Verification and Validation (ICSTW 09), April 1-4, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 101-110, ISBN 978-0-7695-3671-2
    154. Assertion-Based Validation of Modified Programs. Korel Bogdan, Qi Zhang, and Li Tao. in Proceedings of the 2009 International Conference on Software Testing Verification and Validation (ICST 09), April 1-4, 2009, IEEE Computer Society, Washington, DC, 2009, pp.426-435, ISBN 978-0-7695-3601-9
    155. Localizing Bugs in Program Executions with Graphical Models. Laura Dietz, Valentin Dallmeier, Andreas Zeller, and Tobias Scheffer. in journal Advances in Neural Information Processing Systems (2009) available from: http://www.mpi-inf.mpg.de/~dietz/dietz-nips09-supplement.pdf
    156. Combining Hardware and Software Instrumentation to Classify Program Executions. Cemal Yilmaz, and Adam Porter. accepted to the 18th International Symposium on the Foundations of Software Engineering (FSE-18), Nov 7-11, 2010, ACM New York, NY, available from http://research.sabanciuniv.edu/13962/1/cyilmaz.pdf
    157. A Linear Programming Approach for Automated Localization of Multiple Faults. Brian C. Dean, William B. Pressly, Brian A. Malloy, and Adam A. Whitley. in Proceedings of 2009 IEEE/ACM International Conference on Automated Software Engineering, Auckland New Zealand, Nov 16-20 2009, IEEE Computer Society, Washington, DC, 2009, pp. 640-644, ISBN 978-0-7695-3891-4
    158. (Un-) Covering Equivalent Mutants. David Schuler, and Andreas Zeller. in Proceedings 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris France April 6-9 2010, IEEE Computer Society, Washington, DC, 2010, pp. 45-54, ISBN 978-0-7695-3990-4
    159. Computational Synthesis for Scientific Experimentation. Siu-wai Leung. Doctoral Thesis, School of Informatics - University of Edinburgh, 2007, available from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.2128&rep=rep1&type=pdf
    160. Effective Software Bug Localization Using Spectral Frequency Weighting Function. Hua Jie Lee, Lee Naish, and Kotagiri Ramamohanarao. in Proceedings of the 34th Annual IEEE Computer Software and Applications Conference (COMSAC '10), Seoul, Korea, July 19-23, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 218-227, ISSN 0730-3157
    161. Software Fault Localization Using N-gram Analysis. Syeda Nessa, Muhammad Abedin, Eric W. Wong, Latifur Khan, and Yu Qi. in journal Lecture Notes on Computer Science, Vol 5258, 2008 Springer Berlin, pp. 548-559, ISBN 978-3-540-88581-8
    162. Using Hybrid Algorithm for pareto Efficient Multi-Objective Test Suite Minimisation. Shin Yoo, and Mark Harman. in Journal of Systems and Software, Vol 83 iss 4 April 2010, pp. 689-701, Elsevier B.V. Netherlands
    163. Post-Mortem Dynamic Analysis for Software Debugging. Wang Tao. Doctoral Thesis, Department of Computer Science - National University of Singapore, 2007, available from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.120.1658&rep=rep1&type=pdf
    164. RUGRAT: Runtime Test Case Generation Using Dynamic Compilers. Ben Breech, Lori Pollock, and John Cavazos. in Proceedings 19th International Symposium on Software Reliability Engineering (ISSRE 08), Seattle, Washington USA, Nov 10-14 2008, IEEE Computer Society, Washington, DC, 2008, pp. 137-146, ISBN 978-0-7695-3405-3
    165. Refinement-Based Program Analysis Tools. Manu Sridharan. Technical report UCB/EECS-2007-125 EECS Department University of California - Berkeley, Oct 23, 2007, available from http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-125.pdf
    166. An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows. W. Masri, A. Podgurski, and D. Leon, in Journal IEEE Transactions on Software Engineering, July 2007, Vol. 33 Iss. 7, pp. 454-477, IEEE Computer Society, Washington, DC, USA, ISSN 0098-5589
    167. Towards a Unified Fault-Detection Benchmark. Suzanna Schmeelk. in Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE '10), ACM New York, NY, pp. 61-64, ISBN 978-1-4503-0082-7
    168. Guided Testing of Concurrent Programs Using Value Schedules. Jun Chen. Doctoral Thesis School of Computer Science University of Waterloo, Sept 14, 2009, available from http://www.uwspace.uwaterloo.ca/bitstream/10012/4735/1/Chen-Jun.pdf
    169. DeLLIS: A Data Mining Process for Fault Localization. Peggy Cellier, Mireille Ducasse, Sebastien Ferre, and Olivier Ridoux. in Proceedings of the 21st International Conference on Software Engineering Knowledge Engineering (SEKE'2009), Boston, Massachusetts, USA, July 1-3, 2009 2009, pp. 432-437, ISBN 1-891706-24-1
    170. The Effectiveness of using Non Redundant Test Cases with Program Spectra for Bug Localization. Hua Jie Lee, Lee Naish, and Kotagiri Ramamohanarao. in Proceedings of the 2nd IEEE International Conference on Computer Science and Information Technology, Beijing, China Aug 8-11, 2009, pp 127-134, ISBN 978-1-4244-4519-6
    171. Statistics-directed Minimal Hitting Set Algorithm. Rui Abreu, and Arjan J.C. van Gemund. in Proceedings of the 20th International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, June 2009, pp. 51-58, available from http://www.isy.liu.se/dx09/papers/dx09_submission_19.pdf
    172. Test Input Reduction for Result Inspection to Facilitate Fault Localization. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei. in journal Automated Software Engineering, Vol 17 no 1, March 2010, Springer B.V. Netherlands, 2010, pp. 5-31, ISSN 0928-8910
    173. Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments. Hyejin Oh, Byoungju Choi, Hyuksoo Han, and W. Eric Wong. in Proceedings the 8th International Conference on Quality Software (QSIC 2008), Oxford, UK, August 12-13 2008, pp. 57-66, IEEE Computer Society, Washington, DC, 2008, ISBN 978-0-7695-3312-4
    174. Explanation-Based Generalization of Infeasible Path. Mickael Delahaye, Bernard Botella, and Arnaud Gotlieb. in Proceedings 3rd International Conference on Software Testing, Verification and Validation (ICST '10), Paris, France, April 6-9, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 215-224, ISBN 978-0-7695-3990-4
    175. The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies. E. Tempero, C. Anslow, J. Dietrich, T. Han, Jing Li, M. Lumpe, H. Melton, and J. Noble. in Proceedings of the 17th Asia Pacific Software Engineering Conference 2010 (APSEC'10), Syndey, NSW, Australia, Nov. 30 - Dec. 3, 2010, IEEE Computer Society, Washington, DC, pp. 336-345, ISBN 978-1-4244-8831-5
    176. Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization. Wes Masri, and Rawad Abou Assi. in Proceedings 3rd International Conference on Software Testing, Verification and Validation, (ICST '10), Paris, France, April 6-9, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 165-174, ISBN 978-0-7695-3990-4
    177. Test Generation to Expose Changes in Evolving Programs. Dawei Qi, Abhik Roychoudhury, and Zhenkai Liang. in Proceedings 25th IEEE/ACM International Conference on Automated Software Engineering (ASE '10), Antwerp, Belgium, Sept 20-24, 2010, ACM New York, NY, ISBN 978-1-4503-0116-9
    178. On the Localization of Branch Faults in Object-Oriented Program. Xinming Wang, and S.C. Cheung. Doctoral symposium presentation to the 14th Annual ACM SIGSOFT Symposium on Foundations of Software Engineering (SigSoft '06/FSE-14), Portland, Oregon USA, Nov 5-11, 2006, available from http://www.cs.uoregon.edu/fse-14/docsym_docs/11_Wang.pdf
    179. On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques. Hyunsook Do, and Gregg Rothermel in journal IEEE Transactions in Software Engineering, September 2006 Vol. 32, Iss. 9, pp. 733-752, ISSN 0098-5589
    180. The Effects of Time Constraints on Test Case Prioritization: A Series of Controlled Experiments. Hyunsook Do, Siavash Mirarab, Ladan Tahvildari, and Gregg Rothermel. in journal IEEE Transactions on Software Engineering, Vol 36, No. 5, September/October 2010, pp. 593-616, 2010 IEEE Computer Society, Washington, DC, 2010, ISSN 0098-5589
    181. Change Fault Localization Using Test Execution Profiles. Jay Liu. Project report, Department of Computer Science - University of Texas - Austin, 2009, 9 pgs., available from http://userweb.cs.utexas.edu/users/jayliu/reports/Change_fault_localization.pdf
    182. Fault Localization using Value Replacement. Dennis Jeffrey, Neelam Gupta, and Rajiv Gupta. in Proceedings of the 2008 International Symposium on Software Testing and Analysis (ISSTA 08), Seattle, WA, July 20-24, 2008, ACM New York, NY, pp. 167-178, ISBN 978-1-60558-050-0
    183. Fault Localization using a Model Checker. Andreas Griesmayer, Stefan Staber, and Roderick Bloem. in journal Software Testing and Reliability, Vol 20 iss 2, November 13, 2009, John Wiley & Sons Ltd., 2010, pp. 149-173
    184. Camouflage: Automated Sanitization of Field Data. James Clause, and Alessandro Orso. Technical report, College of Computing − Georgia Institute of Technology, 2009, available from http://www.cercs.gatech.edu/tech-reports/tr2009/git-cercs-09-14.pdf
    185. Assessing the Usefulness of Type Inference Algorithms in Representing Java Control Flow to Support Software Maintenance Tasks. Alex Kinneer, and Gregg Rothermel. in Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, September 28 − Oct 4, 2008, IEEE Computer Society, Washington, DC, 2008, pp. 127-136
    186. Using Coverage Information to Guide Test Case Selection in Adaptive Random Testing. Zhi Quan Zhou. in Proceedings of the 34th Annual IEEE Computer Software and Applications Conference Workshops (COMPSAC 2010), Seoul, Korea, July 19-23, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 208-213, available from ftp://ftp.computer.org/press/outgoing/proceedings/Patrick/acutrack/compsac10/data/4105a208.pdf
    187. Property-Aware Program Sampling. Harish Narayanappa, Mukul S. Bansal, and Hridesh Rajan. in Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 10), Toronto, Canada June 5-6, 2010, ACM New York, NY, pp. 45-52, ISBN 978-1-4503-0082-7
    188. An Approach for Classifying Program Failures. Burcu Ozcelik, Kubra Kalkan, and Cemel Yilmaz. in Proceedings of the 2nd annual International Conference on Advances in System Testing and Vailidation Lifecycle (VALID 2010), Nice, France, Aug 22-27, 2010, available from http://research.sabanciuniv.edu/13960/1/submitted.pdf
    189. A Slice-based Decision Procedure for Type-based Partial Orders. Elena Sherman, Brady J. Garvin, and Matthew B. Dwyer. Technical report - College of Computer Science and Engineering - University of Nebraska - Lincoln, July 9, 2010, 20 pgs., available from http://ponca.unl.edu/facdb/csefacdb/TechReportArchive/TR-UNL-CSE-2010-0004.pdf
    190. Time-Aware Test-Case Prioritization using Integer Linear Programming. Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, and Hong Mei. in Proceedings of the 18th International Symposium On Software Testing and Analysis (ISSTA 09), Chicago, Illinois USA, July 19-23, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 213-224, ISBN 978-1-60558-338-9
    191. A Model-Based Software Reasoning Approach to Software Debugging. Rui Abreu, Peter Zoeteweij, and Arjan J.C.van Gemund. in journal Studies in Computation Intelligence, Vol 214/2009, Springer Berlin/Heidelberg 2009, pp. 233-239, ISBN 978-3-540-92813-3
    192. Finding Causes of Software Failure Using Ridge Regression and Association Rule Generation Methods. Saeed Parsa, Mojtaba Vahidi-Asl, and Somaye Arabi Naree. in Proceedings of the 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'08), Phuket, Thailand Aug 6-8, 2008, IEEE Computer Society, Washington, DC, 2008, ISBN 978-0-7695-3263-9
    193. Finding Discriminative Weighted Sub-graphs to Identify Software Bugs. Saeed Parsa, Somaye Arabi, Neda Ebrahimi, and Mojtaba Vahidi-Asl. Information Processing Management, Vol 70 April 3, 2010, Springer Berlin/Heidelberg, pp. 305-309, ISBN 978-3-642-12213-2
    194. HOLMES: Effective Statistical Debugging via Efficient Path Profiling. Trishul M. Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, and Kapil Vaswani. in Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada May 16-24, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 34-44, ISBN 978-1-4244-3453-4
    195. Test-Suite Augmentation for Evolving Software. R. Santelices, P.K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08), L'Aquila, Italy Sept 15-19, 2008, IEEE Computer Society, Washington, DC, 2008, pp.218-227, ISBN 978-1-4244-2187-9
    196. VNM: A Novel Method to Reduce the Overhead of Program Instrumentation. Xiaofeng Xu, Yan Chen, W.E. Wong, and Donghui Guo. in Proceedings WRI World Congress on Software Engineering (WCSE'09), Xiamen, China May 19-21, 2009, vol. 4, IEEE Computer Society, Washington, DC, 2009, pp.256-260, ISBN 978-0-7695-3570-8
    197. A Family of Code Coverage-based Heuristics for Effective Fault Localization. W. Eric Wong, Debroy Vidroha, and Byoungju Choi. in Journal of Systems and Software, vol. 83 iss 2, February 2010, Elsevier, 2009, pp. 188-208
    198. Adaptive Random Testing: The ART of Test Case Diversity. Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, and T.H. Tse. in Journal of Systems and Software, vol. 83, iss. 1, January 2010, Elsevier, 2009, pp. 60-66
    199. Analysis of Test Suite Reduction with Enhanced Tie-breaking Techniques. Jun-Wei Lin, and Chin-Yu Huang. in journal Information and Software Technology, vol. 51, iss 4, April 2009, pp. 679-690, Elsevier B.V. Netherlands, 2008, ISSN:0950-5849
    200. Test Selection for Result Inspection via Mining Predicate Rules. Wujie Zheng, M.R. Lyu, Tao Xie. in Proceedings of the 31st International Conference on Software Engineering - Companion Volume, 2009. ICSE - Companion 2009. Vancouver, BC, May 16-24, 2009. pp. 219-222. ISBN 978-1-4244-3495-4
    201. Improving Software Testing Cost-Effectiveness through Dynamic Partitioning. Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, and Kai-Yuan Cai. in Proceedings of the 9th International Conference on Quality Software (QSIC'09), Jeju, Korea August 24-25, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 249-258, ISBN 978-0-7695-3828-0
    202. Fault Localization Based on Information Flow Coverage. Wes Masri. in journal Software Testing, Verification and Reliability, vol. 20 iss. 2, May 11, 2009, John Wiley & Sons, Ltd., 2010, pp. 121-147
    203. Refining Spectrum-based Fault Localization Rankings. Rui Abreu, Wolfgang Mayer, Markus Stumptner, and Arjan J.C. van Gemund. in Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu, Hawaii, ACM New York, NY, 2009, pp. 409-414, ISBN 978-1-60558-166-8
    204. MINTS: A General Framework and Tool for Supporting Test-Suite Minimization. Hwa-You Hsu, and Alessandro Orso. in Proceedings of the 31st International Conference on Software Engineering, Vancouver, Canada May 16-24, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 419-429, ISBN 978-1-4244-3453-4
    205. Jtop: Managing JUnit Test Cases in Absence of Coverage Information. Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, and Hong Mei. in Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand Nov 16-20, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 677-679, ISBN 978-0-7695-3891-4
    206. Multi Objective Higher Order Mutation Testing with Genetic Programming. William B. Langdon, Mark Harman, and Yue Jia. in Proceedings of the 2009 Academic and Industrial Conference on Practice and Research Techniques, Windsor, UK, September 4-6, 2009, IEEE Computer Society, Washington, DC, 2009, pp.21-29, ISBN 978-0-7695-3820-4
    207. Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution. Raúl Santelices, and Mary Jean Harrold. in Proceedings of the 2010 International Symposium on Software Testing and Analysis (ISSTA 2010), Trento, Italy, July 12-16, 2010, ACM New York, NY, 2010, pp. 195-206, ISBN 978-1-60558-823-0
    208. Lightweight Fault-Localization using Multiple Coverage Types. Raúl Santelices, James A. Jones, Yanbing Yu, and Mary Jean Harrold. in Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Vancouver, BC, Canada, May 16-24, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 56-66, ISBN 978-1-4244-3453-4
    209. Localizing Software Faults Simultaneously. Rui Abreu, Peter Zoeteweij, and Arjan J.C. van Gemund. in Proceedings of the 9th International Conference on Software Quality, Jeju, Korea, August 24-25, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 367-376, ISBN 978-0-7695-3828-0
    210. Test Data Generation for Derived Types in C Program. Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, and JueLiang Hu. in Proceedings of the 3rd International Symposium on the Theoretical Aspects of Software Engineering (TASE 2009), Tianjin, China, July 29-31, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 155-162, ISBN 978-0-7695-3757-3
    211. Design and Analysis of Cost-Cognizant Test Case Prioritization Using Genetic Algorithm with Test History. Yu-Chi Huang, Chin-Yu Huang, Jun-Ru Chang, and Tsan-Yuan Chen. in Proceedings of the 34th annual IEEE Computer Software and Applications Conference (COMSAC 2010), Seoul, Korea, July 19-23, 2010, IEEE Computer Society, Washington, DC, pp. 413-418, ISSN 0730-3157
    212. Recomputing Coverage Information to Assist Regression Testing. Pavan Kumar Chittimalli, and Mary Jean Harrold. in journal IEEE Transactions on Software Engineering, vol. 35 no. 4 July/August 2009, pp. 452-469, IEEE Computer Society, Washington, DC, 2009
    213. A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. Rui Abreu, Peter Zoeteweij, and Arjan J.C. van Gemund. in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, California July 11-17, 2009, pp. 653-658, AAAI Press, Menlo Park, CA, ISBN 978-1-57735-426-0
    214. RAPID: Identifying Bug Signatures to Support Debugging Activities. Hwa-You Hsu, James A. Jones, and Alessandro Orso. in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08), L'Aquila, Italy, Sept 15-19, 2008, IEEE Computer Society, Washington, DC, 2008, pp.439-442, ISBN 978-1-4244-2187-9
    215. A Grouping-based Strategy to Improve the Effectiveness of Fault Localization Techniques. Vidroha Debroy, W. Eric Wong, Xiaofeng Xu, and Byoungju Choi. in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 14-15, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 13-22
    216. Estimating the Probability of Failure When Software Runs Are Dependent: An Empirical Study. Katerina Goseva-Popstojanova, and Margaret Hamill. in Proceedings of the 20th International Symposium on Software Reliability Engineering (ISSRE'09), Mysuru, Karnataka, India, Nov 16-19, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 21-30, ISBN 978-0-7695-3878-5
    217. SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis. Raúl Santelices, and Mary Jean Harrold. Technical report, College of Computing, Georgia Institute of Technology, 2009, available from http://www.cc.gatech.edu/aristotle/pdffiles/santelicesTR-090623.pdf
    218. Fault-Detection Effectiveness and Fault Detectability in GUI Testing. Jaymie Strecker. Dissertation proposal, Department of Computer Science University of Maryland - College Park, April 2008, available from http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.145.103&rep=rep1&type=pdf
    219. Extending the Boundaries in Regression Testing: Complexity, Latency, and Expertise. Shin Yoo. doctoral disseratation Kings College, London, UK, April 2009, pp. 272, available from http://eprints.ucl.ac.uk/141085/
    220. Adaptive Bug Isolation. Piramanayagam Arumuga Nainar, and Ben Liblit. in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM New York, NY, 2010, pp 255-264 ISBN 978-1-60558-719-6
    221. Using Mutation to Automatically Suggest Fixes for Faulty Programs. Vidroha Debroy, and W. Eric Wong. in Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, April 6-9, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 65-74, ISBN 978-0-7695-3990-4
    222. Test Selection via Mining Common Operational Models. Wujie Zheng, Michael R. Lyu, and Tao Xie. technical report, Chinese University of Hong Kong, 2010, available from http://asegrp.googlecode.com/svn-history/r127/trunk/papers/TestSelect/testSelection.pdf
    223. Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques. Xiaoyuan Xie, Tsong Yueh Chen, and Baowen Xu. in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China July 14-15, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 385-392
    224. Precisely Detecting Runtime Change Interactions for Evolving Software. Raúl Santelices, Mary Jean Harrold, and Alessandro Orso. in proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France April 6-9, 2010, IEEE Computer Society, Washington, DC, 2010, pp. 429-438, ISBN 978-0-7695-3990-4
    225. JWalk: a Tool for Lazy, Systematic Testing of Java Classes by Design Introspection and User Interaction. Anthony J.H. Simons. in journal Automated Software Engineering, vol. 14, no. 4, December 2007, Springer, pp. 369-418. ISSN 1573-7535
    226. Are Fault Failure Rates Good Estimators of Adequate Test Set Size? Vidroha Debroy, and W. Eric Wong. in Proceedings of the 9th International Conference on Software Quality (QSIC'09), Jeju, Korea August 24-25, 2009, IEEE Computer Society, Washington, DC, 2009, pp. 229-238, ISBN 978-0-7695-3828-0
    227. Search Based Software Testing for Software Security: Breaking Code to Make it Safer. Giuliano Antoniol. Keynote address in proceedings of the 2nd International Workshop on Search-Based Software Testing, Denver, Colorado April 1, 2009, available from http://iaser.tek.bth.se/feldt/conferences/sbst09/papers/antoniol_sbst09.pdf
    228. Constructing Precise Control Flow Graphs from Binaries. Liang Xu, Fangqi Sun, and Zhendong Su. Technical report, Department of Computer Science, University of California at Davis, 2009. Available from http://leo.cs.ucdavis.edu/techrep/CSE-2009-27.pdf
    229. Automatically Generated Runtime Checks for Design-Level Constraints. Jochen Wuttke. Doctoral thesis, Department of Infomatics of the Universita della Svizzera Italiana, April 2010, available from http://doc.rero.ch/lm.php?url=1000,40,6,20100413101607-JD/2010INFO002.pdf
    230. Test Case Filtering and Prioritization Based on Coverage of Combinations of Program Elements. Wes Masri, and Marwa El-Ghali. in Proceedings of the 7th International Workshop on Dynamic Analysis (WODA'09), Chicago, IL, USA, July 20, 2009, pp. 29-34, ACM New York, NY, ISBN 978-1-60558-656-4
    231. Enhance Fault Localization Using a 3D Surface Representation. Qiong Shi, Zhenyu Zhang, Zhifang Liu, and Xiaopeng Gao. in Proceedings of the 2010 2nd International Conference on Computer Research Development, Kuala Lumpur, Malaysia, May 7-10, 2010, pp. 720-724, IEEE Computer Society, Washington DC, USA, ISBN 978-0-7695-4043-6
    232. Hardware Support for Efficient Transactional and Supervised Memory Systems. Jayaram Bobba. doctoral disseration University of Wisconsin - Madison, WI, USA, 2010, pp. 150, available from http://www.cs.wisc.edu/arch/uwarch/sites/default/files/jayaram_bobba_phd.pdf
    233. A Framework for Observation-Based Modelling in Model-Based Testing. Teemu Kanstren. doctoral disseration, Technical Research Centre of Finland, Espoo 2010, VTT Publications, iss. 727.93, pp 118.
    234. Testing Inter-layer and Inter-task Interactions in RTES Applications. Ahyoung Sung, W. Srisa-an, G. Rothermel, and Tingting Yu. in proceedings of the 2010 17th Asia Pacific Software Engineering Conference (APSEC'10), Sydney, NSW, Australia, November 30 - December 3, 2010, pp. 260-269, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-8831-5
    235. Test Input Reduction for Result Inspection to Facilitate Fault Localization. Dan Hao, Tao Xie, Lu Zhang, Xiaoyin Wang, Jiasu Sun, and Hong Mei. in journal Automated Software Engineering, Vol 17 no 1, March 2010, pp. 5-31, ISSN 0928-8910M
    236. Introducing a New Predicate Network Model Constructed Based on Null Hypothesis Testing for Software Fault Localization. Saeed Parsa, Azam Peyvandi-Pour, and Mojtaba Vahidi-Asl. in journal Lecture Notes in Computer Science, 2010, Volume 6377/2010, 197-204, Springer Verlag Berlin/Heidelberg, ISBN 978-3-642-16166-7
    237. Testing Embedded System Applications. Tingting Yu. Masters thesis, Department of Computer Science and Engineering, University of Nebraska at Lincoln, December 15, 2010, pp. 85, available from http://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1034&context=computerscidiss
    238. Causal Inference for Statistical Fault Localization. George K. Baah, Andy Podgurski, and Mary Jean Harrold. in Proceedings of the 2010 19th International Symposium on Software Testing and Analysis (ISSTA'10), July 12-16, 2010, Trento, Italy, pp. 73-84, ACM, New York, NY, ISBN 978-1-60558-823-0
    239. Testing-Based Process for Component Substitutability. Andres Flores, and Macario Polo. in Journal of Software Testing, Verification and Reliability, August 2, 2010, John Wiley & Sons Ltd, London, UK, ISSN 1099-1689
    240. Incorporating Domain Knowledge in Latent Topic Models. David Michael Andrzejewski. Doctoral dissertation, University of Wisconsin - Madison, 2010, pp. 165, available from http://gradworks.umi.com/cgi-bin/redirect?url=http://gateway.proquest.com/openurl%3furl_ver=Z39.88-2004%26res_dat=xri:pqdiss%26rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation%26rft_dat=xri:pqdiss:3448880">
    241. The Quest for Convincing Evidence. Tim Menzies, and Forrest Shull. in book: Making Software: What Really Works, and Why We Believe It. (Andy Oram and Greg Wilson eds.) published October 2010, pp. 622, O'Reily Media, Sebastapol, CA, USA, ISBN 978-0-596-80832-7
    242. Software Debugging through Dynamic Analysis of Program Structures. Zhenyu Zhang. doctoral disseration, University of Hong Kong, May 2010, pp. 205, available from http://hub.hku.hk/bitstream/10722/61073/1/FullText.pdf
    243. Regression Test Cases Prioritization using Failure Pursuit Sampling. Cristian Simons, and Emerson Cabrera Paraiso. in proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications (ISDA), Cairo, Egypt, November 29 - December 1 2010, pp. 923-928, IEEE Washington, DC, USA, ISBN: 978-1-4244-8134-7
    244. Testing-Based Process for Component Substitutability. Andres Flores, and Macario Polo. in Journal of Software Testing, Verification and Reliability, Vol 22, Iss. 8, August 2, 2010, pp. 529-561, John Wiley & Sons Ltd, London, UK, ISSN 1099-1689
    245. Analyzing Program Dynamic Graphs for Software Fault Localization. Saeed Parsa, Zaynab Mousavian, and Mojtaba Vahidi-Asl. in proceedings of the 2010 5th International Symposium on Telecommuncations, Tehran, Iran, December 4-6, 2010, pp. 169-174, 2010 IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-8183-5
    246. Comparative Performance Evaluation of Applying Extended PIE Technique to Accelerate Software Testability Analysis. Jun-Ru Chang, Chin-Yu Huang, Chao-Jung Hsu, and Tsung-Han Tsai. in journal International Journal of Systems Science, preprint, May 18, 2011, pp. 1-20, Taylor & Francis Ltd., Oxfordshire, UK, available from http://www.tandfonline.com/doi/abs/10.1080/00207721.2011.577243
    247. Identifying Failure-Correlated Dependence Chains. R. Abou-Assi, and Wes Masri. in Proceedings of the 2011 IEEE 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, March 21-25, 2011, pp. 607-616, IEEE Computer Society, Washington DC, USA, ISBN 978-1-4577-0019-4
    248. Using Semi-Supervised Clustering to Improve Regression Test Selection Techniques. Songyu Chen, Zhenyu Chen, Zhihong Zhao, Baowen Xu, and Yang Feng. in proceedings of the 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST), Berlin, Germany, March 21-25, 2011, pp. 1-10, IEEE Computer Society, Washington DC, USA, ISBN 978-1-4577-0019-4
    249. Software Fault Localization via Mining Execution Graphs. Saeed Parsa, Somaye Arabi Naree and Neda Ebrahimi Koopaei. in journal Computational Science and its Applications ICCSA 2011, in series Lecture Notes in Computer Science, vol. 6783/2011, pp. 610-623, Springer Verlag Berlin/Heidelberg, ISBN 978-3-642-21886-6
    250. Towards an Automatic Exploit Pipeline. Jared D. DeMott, Richard J. Enbody, and Willam F. Punch. in proceedings of the 2011 International Conference for Internet Technology and Secured Transactions (ICITST), Abu Dhabi, December 11-14, 2011, pp. 323-329, 2011 IEEE Computer Society Washington, DC, USA, ISBN 978-1-4577-0884-8
    251. A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing. Alberto Gonzalez-Sanchez, Éric Piel, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in proceedings of the 2011 IEEE 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Berlin, Germany, March 21-25, 2011, pp. 654-660, IEEE Computer Society, Washington DC, USA, ISBN 978-1-4577-0019-4
    252. Guided Test Visualization: Making Sense of Errors in Concurrent Programs. Saint Wesonga, Eric G. Mercer, and Neha Rungta. in proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), Lawrence, KS, USA, November 6-11, 2011, pp. 624-627, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-1638-6
    253. Range Analysis based Software Fault Localization. Lin Ge, Shunkun Yang, and Minyan Lu. in proceedings of the 2011 International Conference on Computer Software and Modeling (ICCSM'11), Singapore, September 16-18 2011, pp. 6-12, International Association of Computer Science & Information Technology Press (IACSIT Press), 2011, available from http://www.ipcsit.com/vol14/2-ICCSM2011-S0005.pdf
    254. Mutation Selection: Some Could be Better than All. Zhiyi Zhang, Dongjiang You, Zhenyu Chen, Yuming Zhou, and Baowen Xu. in proceedings of the 1st International Workshop on Evidential Assessment of Software Technologies (EAST), In conjunction with ENASE 2011, Beijing, China, June 8-11 2011. pp. 10-17, SciTePress 2011, ISBN 978-989-8425-58-4
    255. Teaching Software Testing Methods Based on Diversity Principles. Zhenyu Chen, Jinyu Zhang, and Bin Luo. in Proceedings of the 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), Honolulu, HI, USA, May 22-24, 2011, pp. 391-395, ACM New York, NY, USA, ISBN 978-1-4577-0349-2
    256. Statistical Debugging Using a Hierarchical Model of Correlated Predicates. Saeed Parsa, Maryam Asadi-Aghbolaghi, and Mojtaba Vahidi-Asl. in proceedings of the 3rd International Conference on Artificial Intelligence and Computational Intelligence (AICI'11), Taiyuan, China, September 24-25 2011, pp. 251-256, Springer-Verlag, Berlin/Heidelberg, ISBN 978-3-642-23880-2
    257. Supporting C2 Research and Evaluation: An Infrastructure and its Potential Impact. James B. Law, and Marion G. Ceruti. presented at the 16th International Command and Control Research and Technology Symposium (ICCRTS), 21-23 June 2011, Quebec City, Canada, available from http://www.dodccrp.org/events/16th_iccrts_2011/presentations/035.pdf
    258. Automated Test Data Generation and Optimization Scheme Using Genetic Algorithm. Roshni Rajkumari and B. G. Geetha. in proceedings of the 2011 International Conference on Software and Computer Applications (ICSCA 2011), Kathmandu, Nepal, July 1-2, 2011, pp. 52-56, International Association of Computer Science & Information Technology Press (IACSIT Press), 2011, available from from www.ipcsit.com/vol9/11-A1015.pdf
    259. Strong Higher Order Mutation-Based Test Data Generation. Mark Harman, Yue Jia, and William B. Langdon. in proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (ESEC/FSE'11), Szeged, Hungary, September 5-9, 2011, pp. 212-222, ACM New York, NY, USA, ISBN: 978-1-4503-0443-6
    260. An Annotation-Based Approach for JCSP Concurrent Programming: A Quantitative Study. José Elias Araújo, Henrique Rebêlo, Ricardo Lima, Alexandre Mota, Uirá, Kulesza, and Cláudio Sant'Anna. in proceedings of the 1st workshop on Modularity in Systems Software (MISS'11), Porto de Galinhas, Brazil, March 21-25, 2011, pp. 7-11, ACM New York, NY, USA, ISBN 978-1-4503-0647-8
    261. Angelic Debugging. Satish Chandra, Emina Torlak, and Shaon Barman. in proceedings of 2011 33rd International Conference on Software Engineering (ICSE), Honolulu, HI, May 21-28, 2011, pp. 121-130, USA, ACM New York, NY, USA, ISBN 978-1-4503-0445-0
    262. An Empirical Study of JUnit Test-Suite Reduction. Lingming Zhang, D. Marinov, Lu Zhang, and S. Khurshid. in proceedings of 2011 22nd International Symposium on Software Reliability Engineering (ISSRE'11), Hiroshima, Japan, November 29 - December 2, 2011, pp. 170-179, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2060-4
    263. Improving Failure-inducing Changes Identification using Coverage Analysis. Kai Yu, Mengxiang Lin, Jin Chen and Xiangyu Zhang. technical report, State Key Lab of Software Development Environment, Beihang University, Beijing, China, 2011, available from http://ast.nlsde.buaa.edu.cn/~kaiyu/pub/iregression.pdf
    264. SCORE: a Scalable Concolic Testing Tool for Reliable Embedded Software. Yuhno Kim, and Moonzoo Kim. in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on the Foundations of Software Engineering (FSE), Szeged, Hungary, September 5-9, 2011, pp. 420-423, ACM New York, NY, USA, ISBN 978-1-4503-0443-6
    265. Localizing Failure-Inducing Program Edits Based on Spectrum Information. Lingming Zhang, Miryung Kim, and Sarfraz Khurshid. in proceedings of the 2011 27th IEEE International Conference on Software Maintenance (ICSM'11), Williamsburg, VA, USA, September 25-30, 2011, pp. 23-32, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0663-9
    266. Automated Error Localization and Correction for Imperative Programs. Robert Konighofer, and Roderick Bloem. in Proceedings of the 11th Conference on Formal Methods in Computer Aided Design (FMCAD 2011), Austin, TX, USA, October 30 - November 2, 2011, pp. 91-100, IEEE Computer Society, Washington, DC, USA, available from http://www.cs.utexas.edu/users/ragerdl/fmcad11/papers/14.pdf
    267. Counterexample Explanation in DiVinE Model-Checker. B. Roman Plášil. masters thesis Masaryk University, 2011, Brno, Czech Republic, available from http://anna.fi.muni.cz/papers/src/public/96c203b59a911002474d70a63f12d7dc.pdf"
    268. Data Mining Based Optimization of Test Cases to Enhance the Reliability of the Testing. Lilly Raamesh and G. V. Uma. in journal Advances in Computing and Information Technology, Communcations in Computer and Information Science series, 2011, Vol. 198 Part 1, pp. 89-98, Springer Berlin Heidelberg, ISBN 978-3-642-22555-0
    269. Replaying and Isolating Failure-Inducing Program Interactions. Martin Burger. doctoral disseration University of Saarland, Saarbrucken, Germany, June 20, 2011, available from http://scidok.sulb.uni-saarland.de/volltexte/2011/4097/pdf/2011_06_22_Finale_Version_elektronisch.pdf
    270. Testability Transformation Based on Equivalence of Target Statements. Dunwei Gong and Xiangjuan Yao. in journal Neural Computing & Applications, November 2012, Vol 21, Iss 8, pp. 1871-1882, Springer-Verlag London, UK, 2011, ISSN 0941-0643
    271. A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. Jian Xu, W.K. Chan, Zhenyu Zhang, T.H. Tse, and Shanping Li. in proceedings of the 2011 11th International Conference on Quality Software (QSIC'11), Madrid, Spain, July 13-14, 2011, pp. 11-20, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0754-4
    272. Scalable Graph Analyzing Approach for Software Fault-Localization. Zaynab Mousavian, Mojtaba Vahidi-Asl, and Saeed Parsa. in proceedings of the 6th International Workshop on Automation of Software Test (AST'11), Honolulu, HI, USA, May 21-28, 2011, ACM New York, NY, USA, ISBN 978-1-4503-0592-1
    273. Diagnosing New Faults using Mutants and Prior Faults (NIER track). S. S. Murtaza, N. Madhavji, M. Gittens, and Zude Li. in proceedings of the 2011 33rd International Conference on Software Engineering (ICSE'11), Honolulu, HI, USA, May 21-28, 2011, pp. 960-963, IEEE Computer Society, Washington DC, USA, ISBN 978-1-4503-0445-0
    274. Fault-Localization using Dynamic Slicing and Change Impact Analysis. E. Alves, M. Gligoric, V. Jagannath, and M. D'Amorim. in proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE'11), Lawrence, KS, USA, November 6-11, 2011, pp. 520-523, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-1638-6
    275. Assessing Test Quality. David Schuler. doctoral dissertation, University of Saarland, Saarbrucken, Germany, September 29, 2011, pp. 185, available from http://scidok.sulb.uni-saarland.de/volltexte/2011/4342/pdf/thesis_david_schuler_sulb.pdf
    276. Are Automated Debugging Techniques Actually Helping Programmers? Chris Parnin and Alessandro Orso. in Proceedings of the 2011 International Symposium on Software Testing (ISSTA'11), Toronto, Ontario, Canada, July 17-21, 2011, pp. 199-209, ACM New York, NY, USA, ISBN 978-1-4503-0562-4
    277. Concolic Testing of the Multi-Sector Read Operation for Flash Storage Platform Software. Moonzoo Kim, Yunho Kim, and Yunja Choi. in journal Formal Aspects of Computing, Vol 24, Iss 3, May 2012, pp. 355-374, Springer Science+Business Media, Netherlands, ISSN 0934-5043
    278. Assessing Oracle Quality with Checked Coverage. D. Schuler, and A. Zeller. in Proceedings of the 2011 IEEE 4th International Conference on Software Testing, Verification and Validation (ICST'11), Berlin, Germany, March 21-25, 2011, pp. 90-99, IEEE Computer Society, Washington DC, USA, ISBN 978-1-61284-174-8
    279. Mutant Hierarchies Support Selective Mutation. Kalpesh Kapoor. in journal Informatica, Vol. 35, Iss. 3, September 2011, pp. 331-342, Slovenian Society Informatika, Ljubljana, Slovenia, ISSN 0350-5596
    280. In Quest of the Science in Statistical Fault Localization. W. K. Chan, and Yan Cai. in journal Software: Practice and Experience, Vol 43 Iss 8, August 2013, pp. 971-987, John Wiley & Sons, Ltd., London, UK, ISSN 1097-024X
    281. Context-Aware Fault Localization via Control Flow Analysis. Lei Zhao, Lina Wang, and Xiaodan Yin. in Journal of Software, Vol. 6 Iss. 10, October 2011, pp. 1977-1984, Academy Publisher, Road Town, Tortola, British Virgin Islands, ISSN 1796-217X
    282. Combining Search-based and Constraint-based Testing. J. Malburg, and G. Fraser. in proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, Lawrence, KS, USA, November 6-10, 2011, pp. 436-439, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-1638-6
    283. Minimizing Reproduction of Software Failures. Martin Burger, and Andreas Zellers. in proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA'11), Toronto, Ontario, Canada, July 17-21, 2011, pp. 221-231, 2011 ACM New York, NY, USA, ISBN 978-1-4503-0562-4
    284. Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. Zhenyu Zhang, W.K. Chan, T.H. Tse, and Bo Jiang. in proceedings of the 2011 35th Annual Computer Software and Applications Conference (COMPSAC'11), Munich, Germany, July 18-22 2011, pp. 58-67, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0544-1
    285. Change-Aware Preemption Prioritization. Vilas Jagannath, Qingzhou Luo, and Darko Marinov. in proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA'11), Toronto, Ontario, Canada, July 17-21, 2011, pp. 133-143, ACM New York, NY, USA, ISBN 978-1-4503-0562-4
    286. Bug-Assist: Assisting Fault Localization in ANSI-C Programs. Manu Jose, and Rupak Majumdar. in journal Computer Aided Verification, Lecture Notes in Computer Science series, Vol. 6806, pp. 504-509, 2011, Springer Berlin/Heidelberg, ISBN 978-3-642-22109-5
    287. Size-Constrained Regression Test Case Selection Using Multi-Criteria Optimization. Siavash Mirarab, Soroush Akhlaghi Esfahani, and Ladan Tahvildari. in journal IEEE Transactions on Software Engineering, Vol 38, No. 4, Jul/Aug 2012. pp. 936-956, 2012 IEEE Computer Society Digital Library. IEEE Computer Society, Washington, DC, USA, ISSN 0098-5589
    288. On the Estimation of Adequate Test Set Size using Fault Failure Rates. Vidroha Debroy, and W. Eric Wong. in Journal of Systems and Software, Vol. 84, Iss. 4, April 2011, Pages 587-602, Elsevier Science, New York, NY, USA, ISSN 0164-1212
    289. Constellation Visualization: Augmenting Program Dependence with Dynamic Information. Fang Deng, Nicholas DiGiuseppe, and James A. Jones. in Proceedings of the 2011 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT), Williamsburg, VA, USA, September 29-30, 2011, pp. 1-8, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0822-0
    290. Enhancing Structural Software Coverage by Incrementally Computing Branch Executability. Mauro Baluda, Pietro Braione, Giovanni Denaro, and Mauro Pezzé. in Software Quality Journal, 2011, Volume 19, Number 4, pp. 725-751, Springer Netherlands, ISSN 0963-9314
    291. Prioritizing Test Cases with String Distances. Yves Ledru, Alexandre Petrenko, Sergiy Boroday and Nadine Mandran. in journal Automated Software Engineering, September 7, 2011, Vol. 19, Iss. 1, pp. 65-95, Springer Science+Business Media, Netherlands, ISSN 0928-8910
    292. On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. Bo Jiang, W. K. Chan, and T. H. Tse. in proceedings of the 2011 11th International Conference on Quality Software (QSIC'11), Madrid, Spain, July 13-14, 2011, pp. 21-30, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0754-4
    293. Modeling the Diagnostic Efficiency of Regression Test Suites. Alberto Gonzalez-Sanchez, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in proceedings of the 2011 IEEE 4th International Conference on Software Testing, Verification and Validation Workshops (ICSTW'11), Berlin, Germany, March 21-25, 2011, pp. 634-643, IEEE Computer Society, Washington DC, USA, ISBN 978-1-4577-0019-4
    294. Effective Software Fault Localization by Statistically Testing the Program Behavior Model. Azam Peyvandi-Pour, and Saeed Parsa. in journal Information Computing and Applications, Lecture Notes in Computer Science series, Vol. 7030/2011, pp. 136-144, 2011 Springer Berlin/Heidelberg, ISBN 978-3-642-25254-9
    295. Fault Interaction and its Repercussions. Nicholas DiGiuseppe, and James A. Jones. in proceedings of the 2011 27th IEEE International Conference on Software Maintenance (ICSM'11), Williamsburg, VA, USA, September 25-30, 2011, pp. 3-12, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0663-9
    296. Prioritizing Tests for Software Fault Diagnosis. Alberto Gonzalez-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in Journal of Software: Practice and Experience, Special Issue: QSIC 2010: Extended papers 10th International Conference on Quality Software, Vol. 41 Iss. 10, September 2011, pp. 1105-1129, John Wiley & Sons, New York, NY, USA, ISSN 1097-024X
    297. Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation. P. McMinn, M. Harman, K. Lakhotia, Y. Hassoun, and J. Wegener. in journal IEEE Transactions on Software Engineering, February 10, 2011, pp. 25, IEEE Computer Society, Washington, DC, USA, ISSN 0098-5589
    298. FLINT: Fault Localisation using Information Theory. S. Yoo, Mark Harman, and D. Clark. Research Note RN/11/09, March 14, 2011, Department of Computer Science, University College, London, UK, pp. 17, available from http://www.cs.ucl.ac.uk/staff/S.Yoo/papers/Yoo2011zr.pdf
    299. Impact Analysis of Configuration Changes for Test Case Selection. Xiao Qu, M. Acharya, and B. Robinson. in proceedings of the 2011 22nd International Symposium on Software Reliability Engineering (ISSRE'11), Hiroshima, Japan, November 29 - December 2, 2011, pp. 140-149, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2060-4
    300. Fault Localization with Intersection of Control-Flow Based Execution Traces. Ye Gang, Li Xianjun, Li Zhongwen, and Yin Jie. in Proceedings of the 2011 3rd International Conference on Computer Research and Development (ICCRD), Shanghai, China, March 11-13 2011, Vol. 1, pp. 430-434, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-61284-839-6
    301. An Evaluation of Change-Based Coverage Critiera. Marc Fisher II, Jan Wloka, Frank Tip, Barbara Ryder, and Alexander Luchansky. in Proceedings of the 10th ACM SIGPLAN-SIGSOFT Workshop on program Analysis for Software Tools (PASTE'11), Szeged, Hungary, September 5-9, 2011, pp. 21-28, ACM New York, NY, USA, ISBN: 978-1-4503-0849-6
    302. A Static Approach to Prioritizing JUnit Test Cases. Hong Mei, Dan Hao, Lingming Zhang, Lu Zhang, Ji Zhou, and Gregg Rothermel. in journal IEEE Transactions on Software Engineering, Vol 38 Iss 6, October 5, 2011. IEEE Computer Society, Washington, DC, USA, ISSN 0098-5589
    303. Elementary Landscape Decomposition of the Test Suite Minimization Problem. Francisco Chicano, Javier Ferrer, and Enrique Alba. in proceedings of the 3rd International Conference on Search Based Software Engineering (SSBSE'11), Szeged, Hungary, September 5-9, 2011, pp. 48-63, Springer-Verlag Berlin, Heidelberg, ISBN 978-3-642-23715-7
    304. Mitigating the Confounding Effects of Program Dependences for Effective Fault Localization. George K. Baah, Andy Podgurski, and Mary Jean Harrold. in proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering (ESEC/FSE'11), Szeged, Hungary, September 5-9, 2011, pp. 146-156, ACM New York, NY, USA, ISBN 978-1-4503-0443-6
    305. Integration Testing Object-Oriented Software Systems: An Experiment-Driven Research Approach. Y. Labiche. in Proceedings of the 2011 24th Canadian Conference on Electrical and Computer Engineering (CCECE'11), Niagara Falls, Ontario, Canada, May 8-11 2011, pp. 652-655, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-9788-1
    306. Finding Software Fault Relevant Subgraphs a New Graph Mining Approach for Software Debugging. Zaynab Mousavian, Mojtaba Vahidi-Asl, and Saeed Parsa. in proceedings of the 2011 24th Canadian Conference on Electrical and Computer Engineering (CCECE), Niagara Falls, ON, Canada, May 8-11 2011, pp. 908-911, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-9788-1
    307. Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory. Xiaoyuan Xie, W.E. Wong, Tsong Yueh Chen, and Baowen Xu. in proceedings of the 2011 11th International Conference on Quality Software (QSIC), Madrid, Spain, July 13-14, 2011, pp. 1-10, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0754-4
    308. Using Program Slicing to Improve the Efficiency and Effectiveness of Cluster Test Selection. Zhenyu Chen, Yongwei Duan, Zhihong Zhao, Baowen Xu, and Ju Qian. in journal International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 21, Iss. 6 September 2011, pp. 759-777, World Scientific Publishing, Hackensack, NJ, USA, ISSN 0218-1940
    309. Empirically Evaluating Regression Testing Techniques: Challenges, Solutions, and a Potential Way Forward. Gregory M. Kapfhammer. in proceedings IEEE 4th International Conference on Software Testing, Verification and Validation Workships (ICSTW), Berlin Germany, 21-25 March 2011, IEEE Computer Society, Washington DC, USA, pp. 99-102, ISBN 978-1-4577-0019-4
    310. Adaptive Regression Testing Strategy: An Emprical Study. M. J. Arafeen, and Hyunsook Do. in proceedings of the 2011 IEEE 22nd International Symposium n Software Reliability Engineering (ISRE'11), Hiroshima, Japan, Nov 29 - Dec 2, 2011, pp. 130-139, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2060-4
    311. A Test Suite Reduction Approach Based on Pairwise Interaction of Requirements. Xiang Chen, Lijiu Zhang, Qing Gu, Haigang Zhao, Ziyuan Wang, Xiaobing Sun, and Daoxu Chen. in proceedings of the 2011 ACM Symposium on Applied Computing (SAC'11), TaiChung, Taiwan, March 21-24, 2011, pp. 1390-1397, ACM, New York, NY, USA, ISBN 978-1-4503-0113-8
    312. Applying Aggressive Propagation-Based Strategies for Testing Changes. R. Santelices, and M. J. Harrold. in proceedings IEEE Fourth International Conference on Software Testing, Verification and Validation. Berlin, Germany, March 21-25, 2011, pp. 11-20, ISBN 978-1-61284-174-8
    313. Enabling and Supporting the Debugging of Software Failures. James Alexander Clause. doctoral disseration, Department of Computer Science, Georgia Institute of Technology, March 21, 2011, pp. 127, available from http://smartech.gatech.edu/bitstream/handle/1853/39514/clause_james_a_201105_phd.pdf
    314. On the Influence of Multiple Faults on Coverage-Based Fault Localization. Nicholas DiGiuseppe, and James A. Jones. in proceedings of the 2011 International Symposium on Software Testing and Analysis, Toronto, Ontario, Canada, July 17-21, 2011, pp. 210-220, 2011 ACM, New York, NY, ISBN 978-1-4503-0562-4
    315. eXpress: Guided Path Exploration for Efficient Regression Test Generation. Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. in proceedings of the 2011 International Symposium on Software Testing and Analysis, Toronto, Ontario, Canada, July 17-21, 2011, pp. 1-11, 2011 ACM, New York, NY, ISBN 978-1-4503-0562-4
    316. Empirical Software Engineering Research - The Good, The Bad, The Ugly. Elaine Weyuker. in proceedings of the IEEE International Symposium on Empirical Software Engineering and Measurement. Banff, AB, Canada, September 22-23, 2011, pp. 1-9, 2011 IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2203-5
    317. Evaluating Software Testing Techniques and Tools. Tanja Vos, Beatriz Marin, Ignacio Panach, Arthur Baars, Claudia Ayala, and Xavier Franch. in proceedings Jornadas de Ingenieria del Software y Bases de Datos (JISBD'11), A Coruna, Spain, September 5-7, 2011, pp. 531-536, 2011 Sociedad de Ingenieria del Software y Tecnologias de Desarrollo de Software, available from http://www.sistedes.es/Actas/2011_coruna/JISBD/JISBD/S4/Emergentes/sesion4paper88.pdf
    318. Probabilistic Points-to Analysis for Java. Qiang Sun, Jianjun Zhao, and Yuting Chen. in Journal Compiler Construction: Lecture Notes in Computer Science, Vol. 6601/2011, pp. 62-81, Springer Berlin/Heidelberg, ISBN 978-3-642-19860-1
    319. Evolutionary Generation of Test Data for Many Paths Coverage Based on Grouping. Dunwei Gong, Wanqiu Zhang, and Xiangjuan Yao. in Journal of Systems and Software, vol. 84 iss. 12, December 2011, pp. 2222-2233, Elsevier Science, New York, NY, USA, ISSN 0164-1212
    320. A Consensus-based Strategy to Improve the Quality of Fault Localization. Vidroha Debroy, and W. Eric Wong. in Journal of Software: Practice and Experience, November 28, 2011, pp. 1-23, 2011 John Wiley & Sons, Ltd. London, UK, DOI 10.1002/spe.1146
    321. Towards Better Fault Localization: A Crosstab-Based Statistical Approach. W. Eric Wong, Vidroha Debroy, and Dianxiang Xu. in journal IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, Vol 42 Iss 3, May 2012, pp. 278-396, IEEE Washington, DC, USA, ISSN 1094-6977
    322. Statistical Fault Localization via Semi-dynamic Program Slicing. Rongwei Yu, Lei Zhao, Lina Wang, and Xiaodan Yin. in Proceedings of the 2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), November 16-18, 2011, Changsha, China, pp. 695-700, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2135-9
    323. A Variable Strength Interaction Test Suites Generation Strategy using Particle Swarm Optimization. Bestoun S. Ahmed, and Kamal Z. Zamli. in Journal of Systems and Software, December 2011 Vol. 84 Iss. 12, pp. 2171-2185, Elsevier Science, New York, NY, USA, ISSN 0164-1212
    324. On the Fault-Detection Capabilities of Adaptive Random Test Case Prioritization: Case Studies with Large Test Suites. Zhi Quan Zhou, Arnaldo Sinaga, and Willy Susilo. in proceedings of the 45th Hawaii International Conference on System Sciences (HICSS'12), Maui, Hawaii, USA, January 4-7, 2012, pp.5584-5593, IEEE Computer Society, Washington, DC, USA, ISBN 978-0-7695-4525-7
    325. How Well Does Test Case Prioritization Integrate with Statistical Fault Localization? Bo Jiang, Zhenyu Zhang, W.K. Chan, T.H. Tse, and Tsong Yueh Chen. in Journal of Information and Software Technology, Vol 54, Iss 7, July 2012, pp. 739-758, 2012 Elsevier B.V. Netherlands, ISSN 0950-5849
    326. BugRedux: Reproducing Field Failures for In-house Debugging. Wei Jin and Alessandro Orso. in proceedings of the 2012 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland, June 2-9, 2012, pp. 474-484, 2012 IEEE Piscataway, NJ USA, ISBN 978-1-4673-1067-3
    327. Evaluating Machine-Independent Metrics for State-Space Exploration. Vilas Jagannath, Matt Kirn, Yu Lin and Darko Marinov. In Proceedings of the the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST'12), Montreal, Quebec, Canada, April 17-21, 2012, pp. 320-329, IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    328. An Improved Method for Test Case Prioritization by Incorporating Historical Test Case Data. Alireza Khalilian, Mohammad Abdollahi Azgomi, and Yalda Fazlalizadeh. in journal Science of Computer Programming, Vol 78 Iss 1, November 2012, pp. 93-116, 2012 Elsevier B.V., The Netherlands, ISSN 0167-6423
    329. Software Online Bug Detection: Applying a new Kernel Method. S. Parsa, and S. Arabi Naree. in journal IET Software, vol. 6 iss. 1, February 2012, pp. 61-73, IET Research Journals, Stevenage, UK, ISSN 1751-8806
    330. A History-Based Cost-Cognizant Test Case Prioritization Technique in Regression Testing. Yu-Chi Huang, Kuan-Li Peng, Chin-Yu Huang. in Journal of Systems and Software, Vol. 85, Iss. 3, March 2012, pp. 626-637, Elsevier B.V. Netherlands, ISSN 0164-1212
    331. Infeasible Basis Paths Detection of Program with Exception-Handling Constructs. Yanmei Zhang, Shujuan Jiang, Qingtan Wang, and Xuefeng Zhao. in journal IJACT: International Journal of Advancements in Computing Technology, Vol. 4, No. 1, pp. 492-503, January 2012, Advanced Institute of Convergence Information Technology (AICIT), Daegu, Korea, ISSN 2005-8039
    332. A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. Moonsoo Kim, Yunho Kim, and Gregg Rothermel. in proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation (ICST'12), Montreal, Quebec, Canada, April 17-21, 2012, pp. 340-349, IEEE Washington DC, USA, ISBN 978-1-4577-1906-6, available from http://pswlab.kaist.ac.kr/publications/2012/icst12-score.pdf
    333. A Formal Repair Environment for Simple C. Roderick Bloem, Rolf Drechsler, Gorschwin Fey, Alexander Finder, Georg Horek, Robert Konighofer, Jaan Raik, Urmas Repinski, and Andre Sulflow. users manual, University of Bremen, Graz University of Technology, and Tallinn University of Technology, 2012, available from http://www.informatik.uni-bremen.de/agra/doc/software/forensic_manual.pdf
    334. On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. Bo Jiang, and Wing Kim Chan. In Proceedings, 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 14-15, 2010, pp. 377-384, IEEE, Washington, DC, USA, ISBN 978-1-4244-8078-4
    335. Application of Particle Swarm Optimization to Uniform and Variable Strength Covering Array Construction. Bestoun S. Ahmed, Kamal Z. Zamli, and Peng Lim Chee. In journal Applied Soft Computing, Vol. 12, Iss. 4, April 2012, pp. 1330-1347, Elsevier Science B.V., The Netherlands, ISSN 1568-4946
    336. Spectrum-Based Sequential Diagnosis. Alberto Gonzales-Sanchez, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. Gemund. In Proceedings of the 25th AAAI Conference on Artificial Intelligence, San Francisco, CA, USA, August 7-11, 2011, Association for the Advancement of Artificial Intelligence, Palo Alto, CA, USA.
    337. On the Testing of User-Configurable Software Systems using Firewalls. Brian Robinson, and Lee White. In journal Software Testing, Verification and Reliability, Vol. 22, Iss. 1, pp. 3-31, January 2012, Wiley & Sons, Ltd. London, UK, DOI 10.1002/stvr.428
    338. On the Adoption of MC/DC and Control-Flow Adequacy for a Tight Integration of Program Testing and Statistical Fault Localization. Bo Jiang, Ke Zhai, W.K. Chan, T.H. Tse, and Zhenyu Zhang. In journal Information and Software Technology, Vol. 55, Iss. 5, May 2013, pp. 897-917, 2013 Elsevier B.V., The Netherlands, ISSN 0950-5849
    339. An Empirical Investigation into the Impact of Refactoring on Regression Testing. N. Rachatasumrit, and Miryung Kim. In proceedings of the 2012 28th IEEE International Conference on Software Maintenance (ICSM'12), Trento, Italy, September 23-28, 2012, pp. 357-366, 2012 IEEE, Washington, DC, USA, ISBN: 978-1-4673-2313-0
    340. Enhancing Fault Localization via Multivariate Visualization. Wes Masri, Rawad Abou Assi, Fadi A. Zaraket, and Nour Fatairi. In proceedings of The 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST'12), Montreal, Quebec, Canada, April 17-21, 2012, IEEE Computer Society, Washington, DC, USA, ISBN: 978-1-4577-1906-6
    341. Evaluating Test Techniques using Fault and Failure Analysis. Sigrid Eldh. Licentiate Thesis abstract, October 2007, pp. 4, Mälardalens University, Stockholm Sweden.
    342. Regression Testing Based on Neural Networks and Program Slicing Techniques. Farn Wang, Shun-Ching Yang, and Ya-Lan Yang. In proceedings of The 6th International Conferences on Intelligent Systems and Knowledge Engineering (ISKE2011), Shanghai, China, December 2011, pp. 409-418, 2011 Springer-Verlag GmbH Berlin Heidelberg, ISBN 978-3-642-25657-8.
    343. A Methodological Framework for Evaluating Software Testing Techniques and Tools. Tanja E.J. Vos, B., Marin, M.J. Escalona, and A. Marchetto. In proceedings of The 2012 12th International Conferences on Quality Software (QSIC2012), Xi'an, Shaanxi, China, August 27-29, 2012, IEEE , Washington, DC, USA, ISBN: 978-1-4673-2857-9
    344. Prioritizing Test Suites Using Clustering Approach in Software Testing. Arvind Kumar Upadhyay, and A.K. Misra. In journal International Journal of Soft Computing and Engineering (IJSCE), Vol. 2, Iss. 4, September 2012, pp. 222-226, ISSN: 2231-2307
    345. Configuration Selection using Code Change Impact Analysis for Regression Testing. Xiao Qu, M. Acharya, and B. Robinson. In proceedings 2012 28th IEEE International Conference on Software Maintenance (ICSM'12), Trento, Italy, September 23-28, 2012, pp. 129-138, IEEE, Washington, DC, USA, ISBN 978-1-4673-2313-0
    346. Change-Based Random Testing with Static Program Slices. Marcelo d'Amorim, and Juliano Iyoda. Technical report, Informatics Center, Federal University of Pernambuco, Brazil, 2009, available from http://www.cin.ufpe.br/~damorim/teaching/testing/2009.1/project/doc/change-slicer.pdf
    347. On the Role of Diversity Measures for Multi-Objective Test Case Selection. Andrea De Lucia, Massimilliano Di Penta, Rocco Oliveto, and Annibale Panichella. In proceedings of The 2012 7th International Conference on Automation of Software Test (AST), Zurich, Switzerland, June 2-3, 2012, pp. 145-151, IEEE, Washington, DC, USA, ISBN 978-1-4673-1821-1
    348. Dynamic Management of Integration Testing for Self-Adaptive Systems. Carlos Eduardo da Silva, and Rogerio de Lemos. Presented at the Workshop on Dependability in Adaptive and Self-Managing Systems (WDAS), co-located with The 6th Latin-American Symposium on Dependable Computing (LADC 2013), Rio de Janerio, Brazil, April 1-5, 2013, pp. 3-10, SBC - Brazilian Computer Society Press, Puerto Allegre, RS, Brazil
    349. Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards. Shin Yoo, Mark Harman, and Shmuel Ur. In proceedings of The 3rd International Symposium on Search Based Software Engineering, Szeged, Hungary, September 10-12, 2011, Vol. 6956, 2011, pp. 219-236, Springer-Verlag GmbH, Berlin/Heidelberg, ISBN 978-3-642-23716-4
    350. A Uniform Representation of Hybrid Criteria for Regression Testing. Sreedevi Sampath, Renee Bryce, and Atif Memon. in journal IEEE Transactions on Software Engineering, 21 March 2013. IEEE computer Society Digital Library. IEEE Computer Society, Washington, DC, USA, ISSN: 0098-5589
    351. Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs. Jingxuan Tu, Lin Chen, Yuming Zhou, Jianjun Zhao, and Baowen Xu. In proceedings of The 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pp. 1-8, IEEE, Washington, DC, USA, ISBN: 978-1-4673-2857-9
    352. A Hybrid Directed Test Suite Augmentation Technique. Zhihong Xu, Yunho Kim, Moonzoo Kim, and Gregg Rothermel. In proceedings of The 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), Hiroshima, Japan, November 29 - December 2, 2011, pp. 150-159, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-2060-4
    353. Test Case Prioritization: A Systematic Mapping Study. Cagatay Catal, and Deepti Mishra. in Software Quality Journal, Vol 21 Iss 3, Sept 2013, pp. 445-478, 2012 Springer New York, New York, NY, USA, ISSN 0963-9314
    354. An Improved Method for Test Case Prioritization by Incorporating Historical Test Case Data. Alireza Khalilian, Mohammad Abdollahi Azgomi, and Yalda Fazlalizadeh. In journal Science of Computer Programming, Vol. 78, Iss. 1, November 1, 2012, pp. 93-116, 2012 Elsevier B.V., The Netherlands, ISSN 0167-6423
    355. Prioritizing Tests for Fault Localization. Alberto Gonzalez-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in journal Situation Awareness with Systems of Systems, pp. 247-257, 2013 Springer New York, New York, NY, USA, ISBN 978-1-4614-6229-3
    356. Software Mutational Robustness. Eric Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, and Stephanie Forrest. in journal Genetic Programming and Evolvable Machines, Vol 15 Iss 3, September 2014, pp. 281-312, 2013 Springer Science+Business Media New York, NY, ISSN 1389-2576, preprint available from http://adsabs.harvard.edu/abs/2012arXiv1204.4224S
    357. GPGPU Test Suite Minimisation: Search Based Software Engineering Performance Improvement using Graphics Cards. Shin Yoo, Mark Harman, and Shmuel Ur. in journal Empirical Software Engineering, March 17, 2013, 44 pages , 2013 Springer Science+Business Media New York, ISSN 1382-3256
    358. Matching Test Cases for Effective Fault Localization. George K. Baah, Andy Podgurski, and Mary Jean Harrold. Technical report, Department of Computer Science, Georgia Institute of Technology, January 2011, available from http://www.cercs.gatech.edu/tech-reports/tr2011/git-cercs-11-01.pdf
    359. An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used. Mariano Ceccato, Leonardo Mariani, Cu D. Nguyen, and Paolo Tonella. in proceedings of 2012 34th International Conference on Software Engineering (ICSE'12), Zurich, Switzerland, June 2-9, 2012, pp. 452-462, IEEE Press, Piscataway, NJ, USA, ISBN 978-1-4673-1067-3
    360. On-Demand Test Suite Reduction. Dan Hao, Lu Zhang, Xingxia Wu, Hong Mei, and Gregg Rothermel. in Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2−9, 2012, pp. 738−748, IEEE Press Piscataway, NJ, USA, ISBN 978-1-4673-1067-3
    361. Weighted System Dependence Graph. Fang Deng, and James A. Jones. in Proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation (ICSE 2012), Montreal, Quebec, Canada, April 17−21, 2012, pp. 380−389, IEEE, Washington, DC, USA, ISBN: 978-1-4577-1906-6
    362. Fault Localization Based Only on Failed Runs. Zhenyu Zhang, W.K. Chan, and T.H. Tse. in journal Computer, Vol. 45, Iss. 6, June 2012, pp. 64-71, IEEE Computer Society, Washington, DC, USA, ISSN : 0018-9162
    363. Diagnosing Multiple Intermittent Failures using Maximum Likelihood Estimation. Rui Abreu, and Arjan J.C. van Gemund. in journal Artificial Intelligence, Vol. 174, Iss. 18, December 2010, pp. 1481−1497, Elsevier B.V., The Netherlands, ISSN 0004-3702
    364. Software Behavior and Failure Clustering: An Empirical Study of Fault Causality. Nicholas DiGiuseppe, and James A. Jones. in Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Quebec, Canada, April 17-21, 2012, pp. 191-200, IEEE Computer Society, Washington, DC, USA, ISBN: 978-1-4577-1906-6
    365. Covering and Uncovering Equivalent Mutants. David Schuler, and Andreas Zeller. in journal Software Testing, Verification and Reliability, Volume 23, Issue 5, August 2013, pages 353−374, John Wiley & Sons, Ltd. London, UK, DOI 10.1002/stvr.1473
    366. Improved Regression Testing of Multithreaded Programs. Vilas Shekhar Jagannath. Doctoral thesis, University of Illinois at Urbana-Champaign, 2012, pp. 106, available from https://www.ideals.illinois.edu/bitstream/handle/2142/31093/Jagannath_Vilas.pdf?sequence=1
    367. Fault Localization using Failure-Inducing Statement Patterns. Rawad Imad Abou Assi. Doctoral thesis, American University of Beirut, February 2009, pp. 79, available from https://scholarworks.aub.edu.lb/bitstream/handle/10938/7880/t-5182.pdf?sequence=1
    368. Quantitative Program Slicing: Separating Statements by Relevance. Raúl Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, and Ying-jie Zhang. Technical Report TR 2012-04, Computer Science and Engineering, University of Notre Dame, pp. 4, available from http://www3.nd.edu/~rsanteli/pubs/qslicing-TR-2012-04.pdf
    369. Prioritizing Tests for Fault Localization Through Ambiguity Group Reduction. Alberto Gonzales-Sanchez, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in proceedings of 2011 IEEE/ACM International Conference on Automated Software Engineering (ASE'11), Lawrence, KS, USA, November 6-10, 2011, pp. 83-92, IEEE, Washington DC, USA, ISBN 978-1-4577-1638-6
    370. Fault Localization Prioritization: Comparing Information Theoretic and Coverage Based Approaches. Shin Yoo, Mark Harman, and David Clark. to appear in ACM Transactions on Software Engineering and Methodology (TOSEM), Vol 22 Iss 3, July 2013, pp. 1-29, 2013 ACM, New York, NY, available from http://www0.cs.ucl.ac.uk/staff/S.Yoo/papers/Yoo2012vn.pdf
    371. Metamorphic Slice: An Application in Spectrum-Based Fault Localization. Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen, and Baowen Xu. in journal Information and Software Technology, Vol. 55, Iss. 5, May 2013, pp. 866-879, ISSN 0950-5849
    372. Improved Software Verification through Program Path-Based Analysis. Parth Vivek Sagdeo. Masters thesis, University of Illinois at Urbana-Champaign, 2012, available from https://www.ideals.illinois.edu/bitstream/handle/2142/42281/Parth_Sagdeo.pdf?sequence=1
    373. Test Advising Framework. Yurong Wang, Masters thesis, Department of Computer Science, University of Nebraska at Lincoln, January 2013, pp. 113, available from http://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1070&context=computerscidiss
    374. Euclide: A Constraint-Based Testing Framework for Critical C Programs. Arnaud Gotlieb. in Proceedings of the 2009 International Conference on Software Testing, Verification and Validation (ICST '09), Denver, CO, USA, April 1-4, 2009, pp. 151-160, 2009 ACM, New York, NY, USA, ISBN 978-0-7695-3601-9
    375. Are Automated Debugging Techniques Actually Helping Programmers? Chris Parnin, and Alessandro Orso. in Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA'11), Toronto, Ontario, Canada, July 17-21, 2011, pp. 199-209, ACM New York, NY, USA, ISBN 978-1-4503-0562-4
    376. Cause Clue Clauses: Error Localization using Maximum Satisfiability. Manu Jose, and Rupak Majumdar. in Proceedings of the 32nd ACM SIGPLAN Conference on Programming Laguage Design and Implementation (PLDI'11), San Jose, CA, USA, June 4-11, 2011, pp. 437-446, 2011 ACM, New York, NY, USA, ISBN 978-1-4503-0663-8
    377. Evaluating the Accuracy of Fault Localization Techniques. Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, and Wantao Wang, in Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE'09), Auckland, New Zealand, November 16-20, 2009, pp. 76-87, ISBN 978-0-7695-3891-4
    378. Path Exploration Based on Symbolic Output. Dawei Qi, Hoang D.T. Nguyen, and Abhik Roychoudhury. in Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on the Foundations of Software Engineering (ESEC/FSE'11), Szeged, Hungary, pp. 278-288, ACM New York, NY, USA, ISBN: 978-1-4503-0443-6
    379. Automatic Mutation Test Case Generation via Dynamic Symbolic Execution. Mike Papadakis, and Nicos Malevris. in Proceedings of the 2010 21st IEEE International Symposium on Software Reliability Engineering (ISSRE'10), San Jose, CA, USA, November 1-4, 2010, pp. 121-130, 2010 IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4244-9056-1
    380. Automatic Software Generation and Improvement Through Search Based Techniques. Andrea Arcuri. Doctoral thesis, School of Computer Science, University of Birmingham, August 2009, available from http://etheses.bham.ac.uk/400/1/Arcuri09PhD.pdf
    381. Probabilistic Slicing for Predictive Impact Analysis. Raúl Satelices, Mary Jean Harrold. Technical report College of Computing, Georgia Institute of Technology, November 2010, pp. 10, available from https://smartech.gatech.edu/bitstream/handle/1853/36917/git-cercs-10-10.pdf?sequence=1
    382. Prioritizing JUnit Test Cases in Absence of Coverage Information. Lingming Zhang, Ji Zhou, Dan Hao, Lu Zhang, Hong Mei. In Proceedings of the 2009 IEEE International Conference on Software Maintenance (ICSM 2009), Edmonton, AB, Canada, September 20-26, 2009, pp. 19-28, 2009 IEEE, New York, NY, USA, ISBN 978-1-4244-4897-5
    383. Constructing a T-Way Interaction Test Suite using the Particle Swarm Optimization Approach. Bestoun S. Ahmed, Kamal Z. Zamli, and Chee Peng Lim. in journal International Journal of Innovative Computing, Inforamtion and Control, Vol. 8, No. 1(A) January 2012, pp 431-451, 2012 ICIC International, ISSN 1349-4198
    384. Towards Automated Debugging in Software Evolution: Evaluating Delta Debugging on Real Regression Bugs from the Developers' Perspectives. Kai Yu, Mengziang Lin, Jin Chen, and Xiangyu Zhang, in Journal of Systems and Software, Vol. 85 Iss. 10, October 2012, pp. 2305-2317, 2012 Elsevier Science Inc. New York, NY, USA
    385. Non-Parametric Statistical Fault Localization. Zhenyu Zhanga, W.K. Chan, T.H. Tse, Y.T. Yu, and Peifeng Hu. in Journal of Systems and Software, Vol. 84 Iss. 6, June 2011, pp. 885-905, 2011 Elsevier B.V., The Netherlands
    386. On Software Engineering Repositories and Their Open Problems. Daniel Rodriguez, Israel Herraiz, and Rachel Harrison. in Proceedings of the 2012 First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE), Zurich, Switzerland, June 5, 2012, pp. 52-56, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-1752-8
    387. BP Neural Network-Based Effective Fault Localization. W. Eric Wong, and Yu Qi. In International Journal of Software Engineering and Knowledge Engineering, Vol. 19 Iss. 4, June 2009, World Scientific Publishing Co. Pte. Ltd., Singapore, ISSN 02181940
    388. Time Aware Test Case Prioritization based on Fault Coverage using Binary Integer Programming. Sunil Dalhotra, and Rajesh Kumar. In International Journal of Data & Network Security, Vol. 2 No. 1, February 2012, Council for Innovative Research, ISSN 2319-1236, Available at: http://www.cirworld.com/index.php/ijdns/article/view/775
    389. Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing. Bo Zhou, Hiroyuki Okamura, and Tadashi Dohi. in journal EICE TRANSACTIONS on Information and Systems, Vol. E95-D No.9, September 1, 2012, pp.2219-2226, Institute of Electronics, Information and Communication Engineers, Tokyo, Japan, ISSN 0916-8532
    390. Bridging the Gap between the Total and Additional Test-Case Prioritization Strategies. Lingming Zhang, Dan Hao, Lu Zhang, Gregg Rothermel, and Hong Mei. To be presented at 6th IEEE International Conference on Software Testing, Verification and Validation (ICSE 2013), San Francisco, CA, USA, May 18-26, 2013, pp. 190-199, available from http://sei.pku.edu.cn/~zhanglu/Download/icse13main.pdf
    391. On Test Design. Sigrid Eldh. Doctoral disseration thesis, Malardalen University, September 2011, pp. 418, available from etn.se/images/stories/2011/9/FULLTEXT01.pdf
    392. SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, and Henrique Rebêlo. In Proceedings of the 24th International Conference on Computer Aided Verification, Berkeley, CA, USA, July 7-13, 2012, Vol. 7358 2012, pp. 712-717, Springer-Verlag Berlin Heidelberg ISBN 978-3-642-31423-0
    393. The Ten Best Practices for Test Case Prioritization. Cagatay Catal. in Proceedings of the 18th International Conference on Information and Software Technologies (ICIST 2012), Kaunas, Lithuania, September 13-14, 2012, Information and Software Technologies, Series Vol. 319 2012, pp. 452-459, Springer-Verlag Berlin Heidelberg ISBN 978-3-642-33307-1
    394. FaultTracer: A Change Impact and Regression Fault Analysis Tool for Evolving Java Programs. Lingming Zhang, Miryung Kim, and Sarfraz Khurshid. in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE 2012), Cary, NC, USA, November 11-16, 2012, pp. 4, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1614-9
    395. Locating Faults using Multiple Spectra-Specific Models. Kai Yu, Mengxiang Lin, Qing Gao, Hui Zhang, and Xiangyu Zhang. in Proceedings of the 2011 ACM Symposium on Applied Computing (SAC '11), Tunghai, Taiwan, March 21-24, 2011, pp. 1401-1410, 2011 ACM, New York, NY, USA, ISBN 978-1-4503-0113-8
    396. Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples. Herbert Rocha, Raimundo Barreto, Lucas Cordeiro, and Arilo Dias Neto. in Proceedings of the 9th International Conference on Integrated Formal Methods (IFM 2012), Pisa, Italy, June 18-21, 2012, pp. 128-142, 2012 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-30728-7
    397. A Parallel Approach to Concolic Testing with Low-cost Synchronization. Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, and Zheng Wang. in proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS), Electronic Notes in Theoretical Computer Science, Vol. 274, August 9, 2011, Pages 83-96, Elsevier B.V., The Netherlands, ISSN 1571-0661
    398. Error Localisation using Maximum Satisfiability. Ashay Mittal. preliminary project plan, Indian Institute of Technology, Kanpur, pp. 2, available from http://www2.cse.iitk.ac.in/karkare/cs738/projects/group9.pdf
    399. An Analysis of Parameters Influencing Test Suite Effectiveness. Sahitya Kakarla. master's thesis, Texas Tech University, December 2010, pp. 81, available from http://repositories.tdl.org/ttu-ir/bitstream/handle/2346/ETD-TTU-2010-12-1069/KAKARLA-THESIS.pdf?sequence=1
    400. A Search-Based Framework for Failure Reproduction. Kifetew, Fitsum Meshesha. In Proceedings of the 4th International Symposium on Search Based Software Engineering (SSBSE 2012), Lecture Notes in Computer Science Vol. 7515, Riva del Garda, Italy, September 28-30, 2012, pp. 279-284, 2012 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-33118-3
    401. On the Round Trip Path Testing Strategy. May Kahlil, and Yvan Labiche. In Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE 2010), San Jose, CA, USA, November 1-4, 2010, pp. 388-397, IEEE, Washington, DC, USA, ISBN 978-1-4244-9056-1
    402. Fault Localization Based on Multi-level Similarity of Execution Traces. Xinping Wang, Qing Gu, Xin Zhang, Xiang Chen and Daoxu Chen. In Proceedings of the 2009 Asia-Pacific Software Engineering Conference (APSEC '09), Penang, China, December 1-3, 2009, pp. 399-405, 2009 IEEE, Washington, DC, USA, ISBN 978-0-7695-3909-6
    403. A Crosstab-based Statistical Method for Effective Fault Localization. W. Eric Wong, Tingting Wei, Y. Qi, and Lei Zhou. In Proceedings of the 2008 1st International Conference on Software Testing, Verfication and Validation, Lillehammer, Norway, April 9-11, 2008, pp. 42-51, 2008 IEEE, Washington, DC, USA, ISBN 978-0-7695-3127-4
    404. Optimal Regression Testing Based on Selective Coverage of Test Requirements. Qing Gu, Bao Tang, and Daoxu Chen. In Proceedings of the 2010 International Symposium on Parallel and Distributed Processing with Applications (ISPA), Taipei, Taiwan, September 6-9, 2010, pp. 419-426, IEEE, Washington, DC, USA, ISBN 978-1-4244-8095-1
    405. Traffic Routing for Evaluating Self-Adaptation. Jochen Wuttke, Yuriy Brun, Alessandra Gorla, and Jonathan Ramaswamy. In Proceedings of 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managed Systems (SEAMS), Zurich, Switzerland, June 4-5, 2012, pp. 27-32, IEEE, Washington, DC, USA, ISBN 978-1-4673-1788-7
    406. Investigating Unexpected Outcomes through the Application of Statistical Debuggers. Kelsey Dutton, Ross Gore, and Paul F. Reynolds. In Proceedings of the 2012 Winter Simulation Conference (WSC), Berlin, Germany, December 9-12, 2012, pp. 1-12, IEEE, Washington, DC, USA, ISBN 978-1-4673-4779-2
    407. Spectrum-Based Fault Localization without Test Oracles. Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen and Baowen Xu, technical report, Department of Computer Science, University of Texas at Dallas, February 2010, pp. 19, available from https://www.utd.edu/~wew021000/Eric-Wong-Home-Page/UTD-CS-TR-2010-02-12.pdf
    408. Localization of Faults in Software Programs using Bernoulli Divergences. Shounak Roychowdhury, and Sarfraz Khurshid. In Proceedings of the 2012 Symposium on Information Theory and its Applications (ISITA), Honolulu, HI, USA, October 28-31, 2012, pp. 586-590, IEEE, Washington, DC, USA, ISBN 978-1-4673-2521-9
    409. Green: Reducing, Reusing and Recycling Constraints in Program Analysis. William Visser, Jaco Geldenhuys, and Matthew B. Dwyer. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE '12), Cary, NC, USA, November 11-16, 2012, pp. 1-11, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1614-9
    410. An Empirical Study of Path Feasibility Queries. Asankhaya Sharma. Technical report, Department of Computer Science, National University of Singapore, submitted February 20, 2013, pp. 10, Available from http://arxiv.org/pdf/1302.4798v1
    411. Test Data Generation Approach for Basis Path Coverage. Shujuan Jiang, Yanmei Zhang, and Dandan Yi. In journal ACM SIGSOFT Software Engineering Notes, Vol. 37 Iss. 3, May 2012, pp. 1-7, ACM, New York, NY, USA, ISSN 0163-5948
    412. A Change Impact Analysis to Characterize Evolving Program Behaviors. Neha Rungta, Suzette Person, and Joshua Branchaud. In Proceedings of the 2012 28th IEEE International Conference on Software Maintenance (ICSM 2012), Trento, Italy, September 23-28, 2012, pp. 109-118, IEEE, Washington, DC, USA, ISBN 978-1-4673-2313-0
    413. Efficient multi-objective higher order mutation testing with genetic programming. William B. Langdon, Mark Harman, and Yue Jia. In Journal of Systems and Software, Vol. 83 Iss. 12, December 2010, pp. 2416-2430, Elsevier B.V., The Netherlands
    414. Using Higher Order Mutation for Reducing Equivalent Mutants in Mutation Testing. Aderonke Olusola Akinde. In Asian Journal of Computer Science and Information Technology, Vol. 2 No. 3 2012, pp. 13-18, 2011 AJCSIT available from http://www.innovativejournal.in/index.php/ajcsit/article/viewFile/138/117
    415. Empirical Evaluation of Factors Affecting Distinction between Failing and Passing Executions. Arin Zahalka, Katerina Goeva-Popstojanova, and Jeffery Zemeric. In Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering, San Jose, CA, USA, November 1-4, 2010, pp. 259-268, IEEE, Washington, DC, USA, ISBN 978-1-4244-9056-1
    416. Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging. Ross Gore, and Paul F. Reynolds Jr. In Proceedings of the 4th International Symposium on NASA Formal Methods, Norfolk, VA, USA, April 3-5, 2012, pp. 70-84, 2012 Springer Verlag Berlin Heidelberg, ISBN 978-3-642-28890-6
    417. A New Semantic Kernel Function for Online Anomaly Detection of Software. Saeed Parsa, and Somaye Arabi Naree. In ETRI Journal, Vol. 34 No. 2, April 2012, pp. 288-291, 2012 Electronics and Telecommunications Research Institute, Daejeon, Republic of Korea, ISSN 1225-6463
    418. On the Application of SAT Solvers to the Test Suite Minimization Problem. Franco Arito, Francisco Chicano, and Enrique Alba. In Proceedings of the 4th International Symposium on Search Based Software Engineering (SSBSE 2012), Lecture Notes in Computer Science Vol. 7515, Riva del Garda, Italy, September 28-30, 2012, pp. 45-59, 2012 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-33118-3
    419. Simultaneous debugging of software faults. Rui Abreu, Peter Zoeteweij, and Arjan J.C. van Gemund. In Proceedings of the 9th International Conference on Quality Software,Journal of Systems and Software, Volume 84, Issue 4, April 2011, Pages 573-586, IEEE, Washington, DC, USA, ISSN 0164-1212
    420. Evaluating Machine-Independent Metrics for State-Space Exploration. Vilas Jagannath, Matt Kirn, Yu Lin, and Darko Marinov. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Quebec, Canada, April 17-21, 2012, pp. 320-329, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    421. RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction. Alberto Gonzales-Sanchez, Rui Abreu, Hans-Gerhard Groß, and Arjan J.C. van Gemund. in Proceedings of the 22nd International Workshop on the Principles of Diagnosis (DX'11), Murnau, Germany, October 4-7, 2011, pp. 84-91, Technical University of Munich, available from http://www.st.ewi.tudelft.nl/~abreu/DX2011/papers/dx2011_1.pdf
    422. GEMS: A Generic Model Based Source Code Instrumentation Framework. Pavan Kumar Chittimalli, and Vipul Shah. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Quebec, Canada, April 17-21, 2012, pp. 909-914, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    423. Memoized Symbolic Execution. Guowei Yang, Corina S. Păsăreanu, and Sarfraz Khurshid. In Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012), Minneapolis, MN, USA, July 15-20, 2012, pp. 144-154, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1454-1
    424. Statistical Debugging with Elastic Predicates. Ross Gore, Paul F. Reynolds Jr., and David Kamensky. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-11, 2011, pp. 492-495, 2011 IEEE, Washington, DC, USA, ISBN 978-1-4577-1638-6
    425. Execution Hijacking: Improving Dynamic Analysis by Flying off Course. Petar Tsankov, Wei Jin, Alessandro Orso, and Saurabh Sinha. In Proceedings of the IEEE 4th International Conference on Software Testing, Verification and Validation (ICST'11), Berlin Germany, 21-25 March 21-25, 2011, pp. 200-209, 2011 IEE Computer Society, Washington DC, USA, ISBN 978-1-4577-0019-4
    426. An Effective Fault Aware Test Case Prioritization by Incorporating a Fault Localization Technique. Sejun Kim, and Jongmoon Baik. In Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'10), Bolzano-Bozen, Italy, September 16-17, 2010, Article 5, pp. 10, 2010 ACM, New York, NY, USA, ISBN 978-1-4503-0039-1
    427. Using Cluster Analysis to Identify Coincidental Correctness in Fault Localization. Yihan Li, and Chao Liu. In Proceedings of the 2012 4th International Conference on Computational and Informational Sciences (ICCIS), Chongqing, China, August 17-19, 2012, pp. 357-360, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-2406-9
    428. Predicting Runtime Data Dependences for Slice Inspection Prioritization. Yiji Zhang, and Raúl Santelices. Technical report, University of Notre Dame, 2012, pp. 5, available from http://www.cse.nd.edu/Reports/2012/TR-2012-02.pdf
    429. Test Case Prioritization Incorporating Ordered Sequence of Program Elements. Kun Wu, Chunrong Fang, Zhenyu Chen, and Zhihong Zhao. In proceedings of The 2012 7th International Conference on Automation of Software Test (AST), Zurich, Switzerland, June 2-3, 2012, pp. 124-130, IEEE, Washington, DC, USA, ISBN 978-1-4673-1821-1
    430. Oracle-Based Regression Test Selection. Tingting Yu, Xiao Qu, Mithun Acharya, and Gregg Rothermel. In Proceedings of the 2013 International Conference on Testing, Verification, and Validation (ICST 2013), Luxembourg, March 18-22, 2013, pp. 10, 2013 IEEE, Washington, DC, USA
    431. Using an RBF Neural Network to Locate Program Bugs. W. Eric Wong, Yan Shi, Yu Qi, and Richard Golden. In Proceedings 19th International Symposium on Software Reliability Engineering (ISSRE 2008), Seattle, Washington USA, Nov 10-14 2008, pp. 27-36, IEEE Computer Society, Washington, DC, 2008, ISBN 978-0-7695-3405-3
    432. A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs. Chuanqi Tao, Bixin Li, Xiaobing Sun, and Ying Zhou. In Proceedings of the 2010 17th Asian Pacific Software Engineering Conference (APSEC), Sydney, NSW, Australia, Nov. 30 - Dec. 3, 2010, pp. 290-299, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-8831-5
    433. Exploiting Count Spectra for Bayesian Fault Localization. Rui Abreu, Alberto Gonzales-Sanchez, and Arjan J.C. van Gemund. In Proceedings of the 6th International Conference on Predictive Models in Software Engineering (PROMISE '10), Timisoara, Romania, September 12-13, 2010, Article 12, pp. 10, 2010 ACM, New York, NY, USA, ISBN 978-1-4503-0404-7
    434. Research on Parallel Symbolic Execution through Program Dependence Analysis. Yan Cao, Qiang Wei, and QingXian Wang. In Proceedings of the 2012 5th International Symposium on Computational Intelligence and Design (ISCID), Hangzhou, China, October 28-29, 2012, pp. 222-226, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-2646-9
    435. Analyzing program dynamic graphs for software fault localization. Saeed Parsa, Zaynab Mousavian, and Mojtaba Vahidi-Asl. In Proceedings of the 2010 5th International Symposium on Telecommunications (IST), Tehran, Iran, December 4-6, 2010, pp. 169-174, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-8183-5
    436. Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases. Yi Miao, Zhenyu Chen, Sihan Li, Zhihong Zhao, and Yuming Zhou. In Proceedings of the 24th International Conference on Software Engineering Knowledge Engineering (SEKE'2012), San Francisco, CA, USA July 1-3, 2012, pp. 267-272, World Scientific, Singapore, ISBN 1-891706-31-4
    437. Prioritisation of test suites containing precedence constraints. Tim Miller. Preliminary technical research report, Department of Computing and Information Systems, University of Melbourne, pp. 15, available from http://ww2.cs.mu.oz.au/~tmill/pubs/prioritisation-under-precedence-constraints.pdf
    438. Reduzindo o Custo do Teste de Mutação de Interface com Algoritmos de Otimização Multi-objetivo. Tiago Nobre, Silvia R. Vergilio, and Aurora T.R. Pozo. In Proceedings of the Brazilian Conference on Intelligent Systems (ENIA 2012), Curibata - Paraná, Brazil, October 20-25, 2012, pp. 12, available from http://www.ppgia.pucpr.br/~enia/anais/enia/artigos/105252_2.pdf
    439. A Survey of Software Fault Localization. W. Eric Wong, and Vidroha Debroy. Technical report, Department of Computer Science, University of Texas at Dallas, November 2009, pp. 17, available from http://www.utdallas.edu/~ewong/fault-localization-survey.pdf
    440. Mining Data Chain Graph for Fault Localization. Bo Yang, Ji Wu, and Chao Liu. In Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW), Izmir, Turkey, July 16-20, 2012, pp. 464-469, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-2714-5
    441. Comparative Performance Evaluation of Applying Extended PIE Technique to Accelerate Software Testability Analysis. Jun-Ru Chang, Chin-Yu Huang, Chao-Jung Hsu, and Tsung-Han Tsai. In International Journal of Systems Science, Vol. 43 Iss. 12 2012, pp. 2314-2333, 2012 Taylor & Francis Group, Florence KY, USA, ISSN 0020-7721
    442. A History-Based Cost-Cognizant Test Case Prioritization Technique in Regression Testing. Yu-Chi Huang, Kuan-Li Peng, and Chin-Yu Huang. In Journal of Software and Systems, Vol. 85 Iss. 3 March 2012, pp. 626-637, 2012 Elsevier B.V., The Netherlands
    443. Improving the Effectiveness of Spectra-Based Fault Localization Using Specifications. Divya Gopinath, Nokhbeh Zaeem, and Sarfraz Khurshid. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September 3-7, 2012, pp. 40-49, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1204-2
    444. Multi-Point Stride Coverage: A New Genre of Test Coverage Criteria. Mohammad Mahdi Hassan, Doctoral thesis, University of Western Ontario, 2013, pp. 126, available from http://ir.lib.uwo.ca/etd/1130
    445. Dependence-Guided Random Test Generation. Sai Zhang, Yingyi Bu, Xiao Sophia Wang, and Michael D. Ernst. Technical report University of Washington, 2010, pp. 10, available from http://homes.cs.washington.edu/~szhang/gencc.pdf
    446. Tester Feedback Driven Fault Localization. Aritra Bandyopadhyay, and Sudipto Ghosh. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Quebec, Canada, April 17-21, 2012, pp. 41-50, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    447. Enhancing Contexts for Automated Debugging Techniques. Yan Lei, Chengsong Wang, Xiaoguang Mao, and Quanyuan Wu. In Proceedings of the 2012 7th International Conference on Software Engineering Advances (ICSEA 2012), Lisbon, Portugal, November 18-23, 2012, pp. 1-7, PRC, Beijing, China, ISBN: 978-1-61208-230-1
    448. Systematic Literature Review on Regression Test Prioritization Techniques. Yogesh Singh, Arvinder Kaur, Bharti Suri, and Shweta Singhal. In journal Informatica, Vol. 36 No. 4 (2012), pp. 379-408, 2012 Slovenian Society Informatika, Ljubljiana, Slovenia ISSN 0350-5596
    449. Conditional Equivalence. Ming Kawaguchi, Shuvendu K. Lahiri, and Henrique Rebêlo. Technical report, Microsoft Research, October 2010, pp. 13, available from http://research.microsoft.com/pubs/137899/paper.pdf
    450. Efficient Mutation Testing of Multithreaded Code. Milos Gligoric, Vilas Jagannath, Qingzhou Luo, and Darko Marinov. In Journal of Software: Testing Verifcation and Reliability, Vol 23 Iss 5, August 2013, pp. 375-403, John Wiley & Sons, Ltd. London, UK, doi: 10.1002/stvr
    451. Reducing Confounding Bias in Predicate-Level Statistical Debugging Metrics. Ross Gore, and Paul F. Reynolds Jr. In Proceedings of the 2012 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, 2012, pp. 463-473, IEEE Press Piscataway, NJ, USA, ISBN 978-1-4673-1067-3
    452. Model-Based Diagnosis Versus Error Explanation. Heinz Riener, and G7#246;rshwin Fey. In Proceedings of the 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Arlington, VA, USA, July 16-17, 2012, pp. 45-52, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-1314-8
    453. Systematic Bug Finding and Fault Localization Enhanced with Input Data Tracking. Jared D. DeMott, Richard J. Enbody, and Willam F. Punch. In journal Computers & Security, Volume 32, February 2013, Pages 130-157, 2013 Elsevier B.V., The Netherlands, ISSN 0167-4048
    454. Ensemble of Feature Selectors for Software Fault Localization. Shounak Roychowdhury. In 2012 IEEE Conference on Systems, Man and Cybernetics (SMC), Seoul, South Korea, October 14-17, 2012, pp. 1351-1356, IEEE, Washington, DC, USA, ISBN 978-1-4673-1713-9
    455. Ties Within Fault Localization Rankings: Exposing and Addressing the Problem. Xiaofeng Xu, Vidroha Debroy, W. Eric Wong, and Donghui Guo. In International Journal of Software Engineering and Knowledge Engineering, Vol. 21 Iss. 6 September 2011, World Scientific, Singapore, ISSN 0218-1940
    456. FBFL: Using Fuzzy C-Means Clustering Algorithm for Multiple-Bugs Program Faults Localization. Yihao Li, Ruizhi Gao, and Yanzhao Yang. Preliminary report, December 2012, Available from http://issre2012-fuzzy-paper.googlecode.com/svn-history/r49/trunk/CS6V81-final-paper.pdf
    457. On the Consensus-Based Application of Fault Localization Techniques. Vidroha Debroy, and W. Eric. Wong. In Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), Munich, Germany, July 18-22 2011, pp. 506-511, IEEE Computer Society, Washington, DC, USA, ISBN 978-1-4577-0980-7
    458. Software Fault Localization Using DStar (D*). W. Eric Wong, Vidroha Debroy, Yihao Li, and Ruizhi Gao. In Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, USA, June 20-22, 2012, pp. 21-30, IEEE, Washington, DC, USA, ISBN: 978-1-4673-2067-2
    459. RBF Neural Network-based Fault Localization. W. Eric Wong, Vidroha Debroy, Bhavani Thuraisingham, and Richard Golden. Technical report UTDCS-20-10 University of Texas at Dallas, July 2010, pp. 19, available from http://www.utdallas.edu/~bxt043000/Publications/Technical-Reports/UTDCS-20-10.pdf
    460. Effective Fault Localization Approach Using Feedback. Yan Lei, Xiaoguang Mao, Ziying Dai, and Dengping Wei. In IEICE Transactions on Information Systems, Vol. E95-D No. 9, pp. 2247-2257, IEICE, Tokyo, Japan, ISSN: 1745-1361
    461. Automated Coverage Calculation and Test Case Generation. G.C. Morrison, C.P. Inggs, and W.C. Visser. In Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference (SAICSIT '12), Tshwane, South Africa, October 1-3, 2012, pp. 84-93, 2012 ACM New York, NY, USA, ISBN 978-1-4503-1308-7
    462. An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria. Jun-Ru Chang, Chin-Yu Huang, and Po-Hsi Li. In Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion (SERE-C), Gaithersburg, MD, USA, June 20-22, 2012, pp. 127-136, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4673-2670-4
    463. Enhancing Automated Fault Discovery and Analysis. Jared David DeMott. doctoral dissertation, Michigan State University, 2012, available from http://www.google.com/url?q=http://www.vdalabs.com/tools/DeMott_Dissertation.pdf
    464. Using Dependency Structures for Prioritization of Functional Test Suites. Shifa-eZehra Haidry, and Tim Miller. In journal IEEE Transactions on Software Engineering, Vol. 39 Iss. 2 February 2013, pp. 258-275, 2013 IEEE Computer Society, Washington, DC, USA, ISSN 0098-5589
    465. Guided Test Generation for Coverage Criteria. Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. In Proceedings of the 2010 IEEE International Conference on Software Maintenance (ICSM), Timisoara, Romania, September 12-18, 2010, pp. 1-10, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-8630-4
    466. Precise Detection of Uninitialized Variables Using Dynamic Analysis − Extending to Aggregate and Vector. Anushri Jana, and Ravindra Naik. In Proceedings of the 2012 19th Working Conference on Reverse Engineering (WCRE), Kingston, ON, Canada, October 15-18, 2012, pp. 197-201, 2012 IEEE, Washington, DC, USA ISBN 978-1-4673-4536-1
    467. Time-Constraint-Aware Optimization of Assertions in Embedded Software. Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, and Masahiro Fujita. In Journal of Electronic Testing, Vol. 28 Iss. 4 August 2012, pp. 469-486, 2012 Springer Verlag Berlin Heidelberg, ISSN 0923-8174
    468. Effective Statistical Fault Localization Using Program Slices. Yan Lei, Xiaoguang Mao, Xiying Dai, and Chengsong Wang. In Proceedings of the 2012 IEEE 36th International Conference on Computer Software Applications (COMPSAC), Izmir, Turkey, July 16-20, 2012, pp. 1-10, 2012 IEEE, Washington DC, USA, ISBN 978-1-4673-1990-4
    469. Instrumentation and Transformation of Java Source Code for Automated Testing with Search-Based Testing Algorithms. Karsten Jansen. Masters thesis, University of Oslo Department of Informatics, August 2010, pp. 92, available from https://www.duo.uio.no/bitstream/handle/123456789/8791/Jansen_Master.pdf
    470. Uma Abordagem Baseada em Algorítmos de Otimização Multiobjetivos para Reduzir o Custo do Critério de Teste Análise de Mutantes. Tiago Nobre. Masters dissertation, Universidade Federal do Paraná, 2011, available from http://dspace.c3sl.ufpr.br/dspace/bitstream/handle/1884/25903/Dissertacao%20Tiago%20Nobre.pdf
    471. A Learning-Based Method for Combining Testing Techniques. Domenico Cotroneo, Roberto Pietrantuono, and Stefano Russo. in proceedings of the 2013 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, May 18-26 2013, pp. 142-151, 2013 IEEE, Washington, DC, USA
    472. Priorização de Casos de Testes de Regressão Usando Amostragem por Perseguição de Defeitos. Cristian Simons. Masters dissertation Pontifícia Universidade Católica do Paraná, 2010, available from http://ismir2013.ismir.net/lib/exe/fetch.php?media=dissertacoes:cristian_simons.pdf
    473. An Approach for Selecting Tests on Extended Finite State Machines with Provable Guarantees. Mahadevan Subramaniam, and Bo Guo. technical report Computer Science Department, University of Nebraska - Omaha, 2010, available from http://faculty.ist.unomaha.edu/msubramaniam/index_files/techReport2010.pdf
    474. Una Strategia per la Pianificazione delle Attività di Testing per Sistemi Software. Mario Tranchese. Thesis, MobiLab Research Group, Universita degli Studi di Napoli Federico II, September 2007, pp. 74, available from http://www.mobilab.unina.it/tesi/TesiTranchese.pdf
    475. Testing Techniques Selection Based on ODC Fault Types and Software Metrics. Pietrantuono Roberto Cotroneo, and Stefano Russo. In Journal of Systems and Software, Vol 86 Iss 6, June 2013, pp. 1613-1637, 2013 Elsevier B.V., The Netherlands, ISSN 0164-1212
    476. SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Lucas Cordeiro, Bernd Fisher, and Joao Marques-Silva. In journal IEEE Transactions on Software Engineering, Vol. 38 No. 4 July-August 2012, pp. 957-974, 2012 IEEE, Washington, DC, USA ISSN 0098-5589
    477. Effective Software Fault Localization Using an RBF Neural Network. W. Eric Wong, Vidroha, Debroy, Richard Golden, Xiaofeng Xu, and Bhavani Thuraisingham. In journal IEEE Transactions on Reliability, Vol. 61 Iss. 1 March 2012, pp. 149-169, 2012 IEEE, Washington, DC, USA, ISSN 0018-9529
    478. Trace Normalization. Madeline Diep, Sebastian Elbaum, and Matthew Dwyer. In Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), Seattle, WA, USA, November 14-18, 2008, pp. 67-76, 2008 IEEE, Washington, DC, USA, ISBN 978-0-7695-3405-3
    479. Semantic Mutation Testing. John A. Clark, Haitao Dan, and Robert M. Hierons. in journal Science of Computing, Volume 78, Issue 4, April 1 2013, Pages 345-363, 2013 Elsevier B.V., The Netherlands, ISSN 0167-6423
    480. Improving Industrial Adoption of Software Engineering Research: A Comparison of Open and Closed Source Software. Brian Robinson, and Patrick Francis. In Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM '10), Bolzano-Bozen, Italy, September 16-17, 2010, Article 21, pp. 10, 2010 ACM, New York, NY, USA, ISBN 978-1-4503-0039-1
    481. An Empirical Study on the Effectiveness of Time-Aware Test Case Prioritization Techniques. Dongjiang You, Zhenyu Chen, Baowen Xu, Bin Luo, and Chen Zhang. In Proceedings of the 2011 ACM Symposium on Applied Computing (SAC '11), Taichung, Taiwan, March 21-24 2011, pp. 1451-1456, 2011 ACM, New York, NY, USA, ISBN 978-1-4503-0113-8
    482. Statements Versus Predicates in Spectral Bug Localization. Lee Naish, Hua Jie Lee, and Kotagiri Ramamohanarao. In Proceedings of the 2010 17th Asia Pacific Conference on Software Engineering (APSEC 2010), Sydney, NSW, Australia, Nov. 30 - Dec. 3, 2010, pp. 375-384, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-8831-5
    483. Mining and Checking Object Behavior. Valentin Dallmeier. Doctorate dissertation, University of Saarland, Saarbrucken, Germany, 2010, pp. 211, available from http://scidok.sulb.uni-saarland.de/volltexte/2010/3434/pdf/Dissertation_1765_Dall_Vale_2010.pdf
    484. Using Entropy Measures for Comparison of Software Traces. A.V. Miranskyy, M. Davison, R.M. Reesor, and S.S. Murtaza. In journal Inforamtion Sciences, Vol. 203, October 25, 2012, pp. 59-72, Elsevier B.V., The Netherlands, ISSN 0020-0255
    485. Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques. Matteo Miraz, Pier Luca Lanzi, and Luciano Baresi. In Proceedings of the 2010 IEEE Conference on Evolutionary Computing, Barcelona, Spain, July 18-23, 2010, pp. 1-8, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-6909-3
    486. Evolving Human Competitive Spectra-Based Fault Localisation Techniques. Shin Yoo. In Proceedings of the 4th International Symposium on Search Based Software Engineering (SSBSE 2012), series Vol. 7515, Riva del Garda, Italy, September 28-30, 2012, pp. 244-258, 2012 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-33118-3
    487. Reduction of Test Suites Using Mutation. Macario Polo Usaola, Pedro Reales Mateo, and Beatriz Pérez Lamancha. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012) , Tallinn, Estonia, March 24 - April 1, 2012, pp. 425-438, 2012 Springer-Verlag Berlin Heidelberg ISBN 978-3-642-28871-5
    488. F007: Finding Rediscovered Faults from the Field using Function-Level Failed Traces of Software in the Field. Syed Shariyar Murtaza, Mechelle Gittens, Zude Li, and Nazim H. Madhavji. In Proceedings of the 2010 Conference on the Center for Advanced Studies on Collaborative Research (CASCON '10), Toronto, ON, Canada, November 1-4, 2010, pp. 57-71, 2010 ACM, New York, NY, USA
    489. Spectrum Enhanced Dynamic Slicing for Better Fault Localization. Brigit Hofer, and Franz Wotawa. In journal Frontiers in Artifical Intelligence and Applications - Procedings of the 20th European Conference on Artifical Intelligence, Vol. 242, pp. 420-425, 2012 IOS Press, Amsterdam, The Netherlands, ISBN 978-1-61499-097-0
    490. A Novel Mask-Coding Representation for Set Cover Problems with Applications in Test Suite Minimisation. Shin Yoo. In Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010), Benevento, Italy, September 7-9, 2010, pp. 19-28, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4244-8341-9
    491. Static Test Case Prioritization Using Topic Models. Stephan W. Thomas, Hadi Hemmati, Ahmed E. Hassan, and Dorothea Blostein. In journal Empirical Software Engineering, July 2012, pp. 31, 2012 Springer-Verlag Berlin Heidelberg, ISSN 1382-3256
    492. Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults. Kai Yu, Mengxiang Lin, Jin Chen, and Xiangyu Zhang. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September 3-7, 2012, pp. 20-29, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1204-2
    493. Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator. Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B.M. Mainul Hossain. In Proceedings of the 2012 Workshop on Dynamic Analysis, Minneapolis, MN, USA, July 15-20, 2012, pp. 1-6, 2012 ACM, New York, NY, USA, ISBN: 978-1-4503-1455-8
    494. Behaviourally Adequate Software Testing. Gordon Fraser, and Neil Walkinshaw. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST 2012), Montreal, Quebec, Canada, April 17-21, 2012, pp. 300-309, 2012 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    495. Comprehensive Test Suite Augmentation. Marcel Bohme, and Abhik Roychoudhury. Technical report, School of Computing, National University of Singapore, TR11/11, November 8, 2011, pp. 13, available from http://dl.comp.nus.edu.sg/dspace/bitstream/1900.100/3543/1/TR11-11.pdf
    496. Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. Angelo Gargantini, Marco Guarrnieri, and Eros Magri. In Proceedings of the 24th International Conference on Testing Software and Systems (ICSTT '12), Montreal, Quebec, Canada, April 17-21, 2010, pp. 168-183, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    497. Using Mutants to Locate "Unknown" Faults. Mike Papadakis, and Yves Le Traon. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST '12), Montreal, Quebec, Canada, April 17-21, 2012, pp. 691-700, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    498. Multi-Objective Coevolutionary Automated Software Correction. Josh L. Wilkerson, Daniel R. Tauritz, and James M. Bridges. In Proceedings of the 14th International Conference on Genetic and Evolutionary Computation Conference (GECCO '12), Philadelphia, PA, USA, July 7-11, 2012, pp. 1229-1236, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1177-9
    499. Call-graph-Based Inter-class MM Path Generation. Wei He, and Ruilian Zhao. In journal Proceedings of the 4th International Conference on Machine Vision (ICMV 2011): Machine Vision, Image Processing, and Pattern Analysis, Vol. 8349 January 11, 2012, 2012 Society of Photo-Optical Instrument Engineeris (SPIE), Singapore, doi:10.1117/12.920088;
    500. A Unifying Approach to Behavioral Coverage. Elena Sherman. Doctoral dissertation, Department of Computer Science and Engineering, University of Nebraska - Lincoln, December 2012, pp. 121, available from http://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1066&context=computerscidiss
    501. Improving Fault Tolerance Utilizing Hardware-Software-Co-Synthesis. Heinz Riener, Stefan Frehse, and Görschwin Fey. Presented at The 2013 European Event for Electronic System Design & Test (DATE '13), Grenoble, France, March 18-22, 2013, pp. 4, 2013 European Design and Automation Association, Leuven, Belgium
    502. Bug Signature Minimization and Fusion. David Lo, Hong Cheng, and Xiaoyin Wang. In Proceedings of the 2011 IEEE 13th International Conference on High-Assurance Systems Engineering (HASE '11), Boca Raton, FL, USA, November 10-12, 2011, pp. 340-347, 2011 IEEE Computer Society, Washington DC, USA, ISBN: 978-0-7695-4615-5
    503. Evaluating Effectiveness of Software Testing Techniques with Emphasis on Enhancing Software Reliability. Umar Farooq. doctoral thesis Department of Computer Science, University of Kashmir, March 2012, pp. 132, available from http://ojs.uok.edu.in/jspui/bitstream/1/1041/3/Umar%20PhD%20Thesis.pdf
    504. Deployed Software Analysis. Madeline M. Diep. Doctoral dissertation, Department of Computer Science and Engineering, University of Nebraska - Lincoln, May 24, 2009, pp. 180, available from http://digitalcommons.unl.edu/cgi/viewcontent.cgi?article=1000&context=computerscidiss
    505. Demand-driven Propagation-based Strategies for Testing Changes. Raúl Santelices, Mary Jean Harrold. Technical report TR-2012-1 Department of Computer Science and Engineering, University of Notre Dame, pp.29, available from http://www.cse.nd.edu/Reports/2012/TR-2012-01.pdf
    506. Grammar Zoo A Corpus of Experimental Grammarware. Zaytsev, Vadim. Under review for inclusion to the 5th Special Issue on Experimental Software Toolkits of Science of Computer Programming (SCP EST5) 2013, November 2, 2012, pp. 25, available from http://grammarware.net/text/2013/zoo.pdf
    507. Reducing the Cost of Regression Testing by Identifying Irreplaceable Test Cases. Chu-Ti Lin, Kai-Wei Tang, Cheng-Ding Chen, and Gregory M. Kapfhammer. In Proceedings of the 2012 6th International Conference on Genetic and Evolutionary Computing (ICGEC 2012), Kitakushu, Japan, August 25-28, 2012, pp. 257-260, IEEE, Washington, DC, USA, ISBN: 978-1-4673-2138-9
    508. A Specification Logic for Termination and Non-Termination Reasoning.a Ton-Chanh Le, Cristian Gherghina, Aquinas Hobor, and Wei-Ngan Chin. Technical report, School of Computing, National University of Singapore, 2012, pp. 21, available from http://www.comp.nus.edu.sg/~chanhle/pubs/term.pdf
    509. Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study. Zhanwei Hui, Song Huang, Zhengping Ren, and Yi Yao. In journal Mathematical Problems in Engineering, Vol. 2013, Art. 381389, pp. 6, 2013 Zhanwei Hui and Hindawi Publishing, New York, NY, USA, DOI http://dx.doi.org/10.1155/2013/381389
    510. Exploiting Graph-Structured Data in Generative Probabilistic Models. Laura Dietz. Doctoral thesis, Max Planck Institute for Informatics and Saarland University, January 2011. available from http://www.mpi-inf.mpg.de/~dietz/thesis_v1-1-published.pdf
    511. MultiPathPrivacy: Enhanced Privacy in Fault Replication. Pedro Louro, João Garcia, and Paolo Romano. In Proceedings of the 9th European Dependable Computing Conference on (EDCC), Sibiu, Romania, May 8-11, 2012, pp. 203-211, IEEE, Washington, DC, USA, ISBN: 978-1-4673-0938-7
    512. Duals in Spectral Fault Localization. Lee Naish, Hua Jie (Jason) Lee. in proceedings of the 22nd Australsian Conference on Software Engineering (ASWEC 2013), Melbourne, VIC, Australia, June 4-7, 2013, pp. 51-59, 2013 IEEE Washington DC, USA, ISSN 1530-0803.
    513. A Literature Survey on Empirical Evidence in Software Engineering. Ekaterina Pek, and Ralf Lämmel. Submitted for inclusion at the International Symposium on Empirical Software Engineering and Measurement (ESEM 2013), Baltimore, MD, USA, October 10-11, 2013, pp. 10, available from http://softlang.uni-koblenz.de/empsurvey/paper.pdf
    514. Towards Generating Local High-Coverage Tests for Evolving Software. Yi Zhou, Mengxiang Lin, Yang Lu, and Xiaomei Hou. In Proceedings of the 2012 19th Asian-Pacific Software Engineering Conference (APSEC), Hong Kong, December 4-7, 2012, pp. 162-165, IEEE, Washington, DC, USA, ISBN: 978-1-4673-4930-7
    515. PAFL: Fault Localization via Noise Reduction on Coverage Vector. Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. In Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami Beach, FL, USA, July 7-9, 2011, pp. 4, available from http://www.ksi.edu/seke/Proceedings/seke11/151_Lei_Zhao.pdf
    516. Execution-Aware Fault Localization Based on the Control Flow Analysis. Lei Zhao, Lina Wang, Zuoting Xiong, and Dongming Gao. In Proceedings of the 1st International conference on Information Computing and Applications (ICICA '10), Tangshan, China, October 15-18, 2010, pp. 158-165, Vol. 6377 2010 Springer-Verlag Berlin Heidelberg, ISBN 3-642-16166-9
    517. Performance Modeling of Sequential Diagnosis Algorithms. Alberto Gonzalez-Sanchez, Hans-Gerhard Groß, and Arjan J.C. van Gemund. In Proceedings of the 22nd International Workshop on Principals of Diagnosis (DX 2011), Murnau, Germany, October 4-6, 2011, pp. 106-113, available from http://www.st.ewi.tudelft.nl/~abreu/DX2011/papers/dx2011_2.pdf
    518. Towards Complete Specifications with an Error Calculus. Quang Loc Le, Asankhaya Sharma, Florin Craciun, and Wei-Ngan Chin. in Proceedings of the NASA Formal Methods Symposium (NFM 2013), NASA-Ames, Moffett Field, CA, USA, May 14-16, 2013, Lecture Notes in Computer Science Vol 7871, pp. 291-306, 2013 Springer-Verlag Berlin Heidelberg ISBN 978-3-642-38087-7
    519. Multi-Label Software Behavior Learning. Yang Feng, and Zhenyu Chen. In Proceedings of the 2012 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, 2012, pp. 1305-1308, IEEE Press Piscataway, NJ, USA, ISBN 978-1-4673-1067-3
    520. Monitoring Software using Property-Aware Program Sampling. Harish Narayanappa. Masters thesis, Iowa State University, 2010, Paper 11410, available from http://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=2392&context=etd
    521. Partition-based Regression Verification. Marcel Böhme, Bruno C.d.S. Oliveira, and Abhik Roychoudhury. In Proceedings of the 2013 35th ACM/IEEE International Conference on Software Engineering (ICSE), San Francisco, CA, USA, May 18-26, 2013, pp.300-309, 2013 ACM New York, NY
    522. Leveraging Strength-Based Dynamic Information Flow Analysis to Enhance Data Value Prediction. Walid J. Ghandour, Haitham Akkary, and Wes Masri. In journal ACM Transactions on Architecture and Code Optimization (TACO), Vol. 9, Iss. 1, March 2012, Art. 1, pp. 33, ACM, New York, NY, USA, ISSN 1544-3566
    523. An Integrated Logic for Termination and Non-Termination Reasoning. Ton-Chanh Le, Gherghina Cristian, Aquinas Hobor, and Wei-Ngan Chin. Technical report, National University of Singapore, June 2012, available from http://www.comp.nus.edu/~hobor/Publications/2012/termsleek.pdf
    524. Statistical Causal Analysis for Fault Localization. George K. Baah. Doctoral disserataion, College of Computing, Georgia Institute of Technology, December 2012, pp. 160, available from https://smartech.gatech.edu/bitstream/handle/1853/45762/baah_george_k_201212_phd.pdf
    525. Debugging HDL Designs Based on Functional Equivalences with High-Level Specifications. Alexander Finder, Jan-Philipp Witte, and Görschwin Fey. Scheduled for presentation at the 16th IEEE Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2013), Karlovy Vary, Czech Republic, April 8-10, 2013, pp. 6, available from http://www.informatik.uni-bremen.de/agra/doc/konf/2013-DDECS-HDLSWDebugging.pdf
    526. SemFix: Program Repair via Semantic Analysis. Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. in proceedings of the 2013 35th ACM/IEEE International Conference on Software Engineering (ICSE), San Francisco, CA, USA, May 18-26, 2013, pp. 772-781, 2013 IEEE Piscataway, NJ, USA, ISBN 978-1-4673-3076-3
    527. Search Space Reduction Strategies for Automated Generation of Method Message Path. He Wei, and Zhao Ruilian. In journal Scientific Journal of Computer Science, Vol. 2 Iss. 4, December 2012, pp. 1-8, Scientific Journal of Computer Science, ISSN: 2167-1516
    528. Diversity Maximization Speedup for Fault Localization. Liang Gong, David Lo, Lingxiao Jiang, and Hongyu Zhang. In Proceedings of the 2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, September 3-7, 2012, pp. 30-39, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1204-2
    529. A General Noise-Reduction Framework for Fault Localization of Java Programs. Jian Xu, Zhenyu Zhang, W.K. Chan, T.H. Tse, and Shanping Li. In journal Information and Software Technology, Vol. 55, Iss. 5, May 2013, pp. 880-896, 2013 Elsevier B.V., The Netherlands, ISSN 0950-5849
    530. An Evaluation Framework of Coverage-Based Fault Localization for Object-Oriented Programs. Qing Xu, Yu Pei, and Linzhang Wang. In Proceedings of the 2012 International Conference on Trustworthy Computing and Services(ISCTCS 2012), Beijing, China, May 28 - June 2, 2012, Vol. 320, 2013, pp. 591-597, 2013 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-35794-7
    531. Effective and Efficient Regression Testing and Fault Localization through Diversification, Prioritization, and Randomization. Bo Jiang. Doctoral thesis, University of Hong Kong, 2011, pp. 188, available from http://hub.hku.hk/handle/10722/166971
    532. Semantic Fault Diagnosis: Automatic Natural-language Fault Descriptions. Nicholas DiGiuseppe, and James A. Jones. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE 2012), Cary, NC, USA, November 11-16, 2012, Art. No. 23, pp. 1-4, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1614-9
    533. μTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, and Matthieu Petit. In Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, USA, June 20-22, 2012, pp. 197-206, 2012 IEEE, Washington, DC, USA, ISBN: 978-1-4673-2067-2
    534. Wielding Statistical Fault Localization Statistically. Yunqian Zhang, Lin Chen, Bo Jiang, and Zhenyu Zhang. In Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, USA, November 27-30, 2012, pp. 189-194, IEEE, Washington, DC, USA, ISBN: 978-1-4673-5048-8
    535. Mining Unstructured Software Repositories Using IR Models. Stephen W. Thomas. Doctoral thesis, Queen's University, December 2012, pp. 249, available from http://sail.cs.queensu.ca/publications/pubs/Thomas-Stephen-W-201212-PhD.pdf
    536. Framework for Measuring Program Comprehension. Janet Siegmund. Doctoral dissertation, University of Magdeburg, Germany, November 27, 2012, pp. 234, available from http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/phdJSiegmund12.pdf
    537. Change-Effects Analysis for Effective Testing and Validation of Evolving Software. Raúl A. Santelices. Doctoral dissertation, College of Computing, Georgia Institute of Technology, August 2012, pp. 178, available from https://smartech.gatech.edu/bitstream/handle/1853/44737/santelices_raul_a_201208_phd.pdf
    538. Regression Test Selection by Exclusion. Amir Ngah. Doctoral dissertation, Durham University, May 2012, pp. 211, available from http://etheses.dur.ac.uk/3616
    539. Concept-Based Failure Clustering. Nicholas DiGiuseppe, and James A. Jones. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering (FSE '12), Cary, NC, USA, November 11-16, 2012, Art. No. 29, pp. 1-4, 2012 ACM, New York, NY, USA, ISBN 978-1-4503-1614-9
    540. AI for the Win: Improving Spectrum-Based Fault Localization. Birgit Hofer, Franz Wotawa, and Rui Abreu. In journal ACM SIGSOFT Software Engineering Notes, Vol. 37, Iss. 6, November 2012, pp. 1-8, 2012 ACM, New York, NY, USA, ISSN 0163-5948
    541. Incorporating Feedback Mechanism to Bayesian Networks-based Test Case Prioritization. Siavash Mirarab, and Ladan Tahvildari. Technical report, Software Technologies Applied Research Group, University of Waterloo, September 2007, pp. 16, available from http://www.stargroup.uwaterloo.ca/pubs/tech_report/TR-ECE-2007-27.pdf
    542. On Even Spread of Test Cases in Adaptive Random Testing. Huai Liu. Doctoral thesis Swinburne University of Technology, September 2008, pp. 139, available from http://researchbank.swinburne.edu.au/vital/access/services/Download/swin:9033/SOURCE3
    543. A Study in Prioritization for Higher Strength Combinatorial Testing. Xiao Qu, and Myra B. Cohen. In Proceedings of the 2nd International Workshop on Combinatorial Testing (IWCT 2013), Luxembourg, March 18-22, 2013, pp. 10, IEEE, Washington, DC, USA
    544. Interactive Fault Localization Leveraging Simple User Feedback. Liang Gong, David Lo, Lingxiao Jiang, and Hongyu Zhang. In Proceedings of the 2012 28th IEEE International Conference on Software Maintenance (ICSM 2012), Trento, Italy, September 23-28, 2012, pp. 67-76, 2012 IEEE, Washington, DC, USA, ISBN: 978-1-4673-2313-0
    545. Using a Genetic Algorithm for Test Suite Augmentation. Zhihong Xu, Myra B. Cohen, and Gregg Rothermel. Technical report, Department of Computer Science and Engineering, University of Nebraska - Lincoln, January 10, 2010, available from http://cse.unl.edu/~grother/papers/tr0002.pdf
    546. An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. Simone do Rocio Senger de Souza, Marllos Paiva Prado, Ellen Francine Barbosa, and José Carlos Maldonado. In journal CLEI Electronic Journal, Vol. 15, No. 1, paper 3, April 2012, pp. 13, 2012 Centro Latinoamericano de Estudios en Informática, Uruguay, ISSN 0717-5000
    547. Configuration Management and Product Lines to Enhance the Replication Process in Software Engineering. Edison G. Espinosa. In Proceedings of the 7th International Doctoral Symposium on Empirical Software Engineering (IDOESE 2012), Lund, Sweden, September 21, 2012, pp. 7 available from http://esem.cs.lth.se/esem2012/idoese/pdf/201_idoese%20edison%20espinosa%202012.pdf
    548. Automated Breakpoint Generation for Debugging. Cheng Zhang, Juyuan Yang, Dacong Yan, Shengqian Yang, and Yuting Chen. In Journal of Software, Vol. 8, No. 3, March 2013, pp. 603-616, 2013 Academy Publisher, Road Town, Tortola, B.V.I., ISSN 1796-217X
    549. Comparing the Effectiveness of Equivalence Partitioning, Branch Testing and Code Reading by Stepwise Abstraction Applied by Subjects. N. Juristo, S. Vegas, M. Solari, S. Abrahao, and I. Ramos. In Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST '12), Montreal, Quebec, Canada, April 17-21, 2012, pp. 330-339, 2010 IEEE, Washington, DC, USA, ISBN 978-1-4577-1906-6
    550. Propuesta de Paquete de Laboratorio para Experimentos de Ingeniería de Software. Martín Solari Buela. Doctoral thesis, Universidad Politécnica de Madrid, pp. 451, 2012, available from http://fi.ort.edu.uy/innovaportal/file/2231/1/tesis_propuestapaquete_martinsolari.pdf
    551. Time Aware Test Case Prioritization based on Fault Coverage using Binary Integer Programming. Kumar Rajesh Sunil. In International Journal of Data & Network Security, Vol. 2, No. 1, Feb 10, 2013, pp. 101-103, ISSN 2319-1236.
    552. Effort Reduction of Unit Testing by Supporting CFG Generation and its Test Design. Hoijin Yoon. in International Journal of Smart Home, Vol. 7, No. 5 (2013), pp. 125-134, 2013 Science & Engineering Research Support soCiety, Chungnam-do, Korea, ISSN 2005-4297
    553. Regression Testing: A Spectrum-based Approach. Shailesh Tiwari, K. K. Mishra, and A. K. Misra. in International Journal of Computer Applications, Vol. 55, No. 18, Oct. 2012, pp. 35-42. 2012 Foundation of Computer Science, New York, NY.
    554. Software Bug Localization with Markov Logic. Sai Zhang, and Congle Zhang. in ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May 31 - June 7, 2014, pp. 424-427, 2014 ACM New York, NY, USA, ISBN 978-1-4503-2768-8
    555. Error Localisation using Maximum Satisfiability. Akshay Mittal. Project proposal, Indian Institute of Technology Kanpur, Jan 2012, pp. 2
    556. Regression Verification using Impact Summaries. John Backes, Suzette Person, Neha Rungta, and Oksana Tkachuk. in journal Model Checking Software, Proceedings of the 20th International Symposium (SPIN '13), Stony Brook, NY, July 8-9, 2013, Lecture Notes in Computer Science, Vol 7976, pp. 99-116, 2013 Springer-Verlag Berlin Heidelberg, ISBN 978-3-642-39175-0
    557. Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT. Favio DeMarco, Jifeng Xuan, Daniel LeBerre, and Martin Monperrus. in Proceedings of 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA'14), Hyderabad, India, May 31, 2014, pp. 30-39, 2014 ACM New York, NY, USA, ISBN 978-1-4503-2847-0
    558. Exploiting Undefined Behaviors for Efficient Symbolic Execution. Asankhaya Sharma. in ICSE Companion 2014 Companion Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May 31 - June 7, 2014, pp. 727-729, 2014 ACM New York, NY, USA, ISBN 978-1-4503-2768-8
    559. On the Fault-Detection Capabilities of Adaptive Random Test Case Prioritization: Case Studies with Large Test Suites. Zhi Quan Zhou, Arnaldo Sinaga, and Willy Susilo. in Proceedings of the 2012 45th Hawaii International Conference on System Sciences (HICSS 2012), Jan 4-7, 2012, Wailea, Maui, USA. pp. 5584-5593, 2012 ACM New York NY, USA
    560. Exploration and Analysis of Regression Test Suite Optimization. Zeeshan Anwar, and Ali Ahsan. in journal ACM SIGSOFT Software Engineering Notes, Vol 39, Iss 1, Jan 2014, pp. 1-5
    561. Multi-Objective Regression Test Suite Optimization with Fuzzy Logic. Zeeshan Anwar, and Ali Ahsan. in Proceedings of the 2013 International Multi Topic Conference (INMIC), Lahore, India, Dec 19-20, 2013, pp. 95-100, 2013 IEEE, ISBN 978-1-4799-3043-2
    562. Reproducing and Debugging Field Failures in House. Wei Jin. in Proceedings of the 2013 International Conference on Systems Engineering (ICSE '13), May 18-26, 2013, San Francisco, CA, USA, pp. 1441-1443, 2013 IEEE Press, Piscataway NJ, USA, ISBN 978-1-4673-3076-3
    563. The Challenge of Software Complexity. Kevin Moore, and Michel Wermelinger. in journal Proceedings of the European Conference on Complex Systems 2012, Sept. 3-7, 2012, Bussels, Belgium, pp. 179-187, 2013 Springer International
    564. Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques. Peifeng Rao, Zheng Zheng, Tsong Yueh Chen, Nan Wang, and Kaiyuan Cai. in Proceedings of the 2013 13th International Conference on Quality Software (QSIC), Nanjing China, July 29-30 2013, pp.260-267, 2013 IEEE, Washington DC, USA
    565. Software Analytics: So What? Tim Menzies, and Thomas Zimmermann. in journal IEEE Software, Vol. 30, Iss. 4, July-Aug. 2013, pp. 31-37, 2013 IEEE New York, NY USA
    566. On the Correlation between the Effectiveness of Metamorphic Relations and Dissimilarities of Test Case Executions. Yuxiang Cao, Zhi Quan Zhou and Tsong Yueh Chen. in Proceedings of the 2013 13th International Conference on Quality Software (QSIC), Nanjing China, July 29-30 2013, pp.153-162, 2013 IEEE, Washington DC, USA
    567. Improving Representative Computation in ExpliSAT. Hana Chockler, Dmitry Pidan, and Sitvanit Ruah. in journal Hardware and Software: Verification and Testing, Lecture Notes in Computer Science Volume 8244, 2013, pp 359-364, 2013 Springer-Verlag Berlin Heidelberg, ISBN 978-3-319-03076-0
    568. A Fine-Grained Parallel Multi-objective Test Case Prioritization on GPU. Zheng Li, Yi Bian, Ruilian Zhao, and Jun Cheng. in journal Search Based Software Engineering, Lecture Notes in Computer Science Volume 8084, 2013, pp 111-125, Springer International Switzerland, ISBN 978-3-642-39741-7
    569. Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. Bo Jiang and W.K. Chan. in Proceedings of the the 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC '13), Kyoto, Japan, July 22-26, 2013, pp. 190-199, 2013 IEEE Computer Society Washington DC USA
    570. A Non-Parametric Statistical Debugging Technique with the Aid of Program Slicing (NPSS). Farzaneh Zareie, and Saeed Parsa. in International Journal of Information Engineering and Electronic Business, Vol.5, No.2, August 2013, pp.8-14, 2013 Modern Education and Computer Science Publisher, ISSN: 2074-9023
    571. Isolating Failing Test Cases: A Comparative Experimental Study of Clustering Techniques. Joan Farjo, Wes Masri, and Hazem Hajj. in proceedings of the 3rd International Conference on Communications and Information Technology (ICCIT-2013), Beirut, Lebanon, June 19-21, 2013, pp. 73-77, IEEE Washington DC, USA ISBN 978-1-4673-5306-9
    572. Backward-Slice-Based Statistical Fault Localization without Test Oracles. Yan Lei, Xiaoguang Mao, Tsong Yueh Chen. in Proceedings of the 2013 13th International Conference on Quality Software (QSIC), Nanjing China, July 29-30 2013, pp.212-221, 2013 IEEE, Washington DC, USA
    573. F3: Fault Localization for Field Failures. Wei Jin, and Alessandro Orso. in Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013), Lugano Switzerland, July 15-20, 2013, pp. 213-223, 2013 ACM, New York, NY, USA, ISBN: 978-1-4503-2159-4
    574. On the Asymptotic Behavior of Adaptive Testing Strategy for Software Reliability Assessment. Junpeng Lv, Bei-Bei Yin, and Kai-Yuan Cai. preprint of journal IEEE Transactions on Systems Engineering, March 11, 2014, pp. 1-18, 2014 IEEE Computer Society, Washington DC USA
    575. Test Dependence: Theory and Manifestation. Jochen Wuttke, Kivanç Muslu, Sai Zhang, and David Notkin. University of Washington Technical Report UW-CSE-13-07-02, available from http://homes.cs.washington.edu/~szhang/pdf/UW-CSE-13-07-02.PDF
    576. Fuzzy Entropy-Based Framework for Multi-Faceted Test Case Classification and Selection: an Empirical Study. Manoj Kumar, Arun Sharma, and Rajesh Kumar. in journal IET Software, Dec 10, 2013, pp. 10, 2013 The Institution of Engineering and Technology, London UK
    577. Empirically Revisiting the Test Independence Assumption. Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, and David Notkin. in Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA 2014), San Jose, CA, USA, July 21-25, 2014, pp. 385-396, 2014 ACM New York, NY, USA ISBN 978-1-4503-2645-2
    578. Feedback-Driven Dynamic Invariant Discovery. Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid. in Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA 2014), July 21-25, 2014, San Jose, CA, USA, July 21-25, 2014, pp. 362-272, 2014 ACM New York, NY, USA ISBN 978-1-4503-2645-2
    579. A Scalable Crawler Framework for FLOSS Data. Lingxiao Zhang, Yanzhen Zou, and Bing Xie. in proceedings of the 5th Asia-Pacific Symposium on Internetware (Internetware '13), Changsha, China, October 23-24, 2013, article no, 8, pp. 7, 2013 ACM, New York, NY USA ISBN 978-1-4503-2369-7
    580. SEEDS: A Software Engineer's Energy-Optimization Decision Support Framework. Irene Manotas, Lori Pollock, and James Clause. in Proceedings of the 36th International Conference on Systems Engineering (ICSE '14), Hyderabad, India, May 31-June 7, 2014, pp. 503-514, 2014 ACM New York, NY, ISBN 978-1-4503-2756-5
    581. Comparing Multi-Point Stride Coverage and Dataflow Coverage. Mohammed Mahdi Hasan, and James H. Andrews. in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA, USA, May 18-26, 2013, pp. 172-181, IEEE Press Piscataway, NJ USA, ISBN: 978-1-4673-3076-3
    582. Slice-Based Statistical Fault Localization. Xiaoguang Mao, Yan Lei, Ziying Dai, Yuhua Qi, and Chengsong Wang. in Journal of Systems and Software, Vol 89, March 2014, pp. 51-62, 2014 Elsevier B.V. the Netherlands
    583. A Clustering-Based Strategy to Identify Coincidental Correctness in Fault Localization. Yi Miao, Zhenyu Chen, Sihan Li, Zhihong Zhao,and Yuming Zhou. in International Journal of Software Engineering and Knowledge Engineering, Volume 23, Issue 05, June 2013, pp. 721-741, 2013 World Scientific, Singapore
    584. Predicting Data Dependences for Slice Inspection Prioritization. Yiji Zhang and Raul Santalices. in proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), Dallas, TX, 27-30 Nov. 2012, pp.177,182, 2012 IEEE Washington DC, USA
    585. Automatic Test Data Generation Using a Genetic Algorithm. Nassima Aleb, and Samir Kechid. in journal Computational Science and Its Applications - ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Lecture Notes in Computer Science, Vol. 7972, 2013, pp. 574-586, 2013 Springer Berlin Heidelberg
    586. Locating Faulty Code Using Failure-Causing Input Combinations in Combinatorial Testing. Chunyan Ma, Yifei Zhang, Jie Liu, and Mengzhao. in proceedings of the 4th World Congress on Software Engineering (WCSE), Hong Kong, China, Dec 3-4, 2013, pp. 91-98, 2013 IEEE Washington DC USA, ISBN 978-1-4799-2882-8
    587. Towards Test Focus Selection for Integration Testing Using Method Level Software Metrics. Shadi Banitaan, Mamdouh Alenezi, Kendall Nygard, and Kenneth Magel. in proceedings of the 2013 10th International Conference on Information Technology:New Generations (ITNG), Las Vegas, NV USA, April 15-17 2013, pp. 343-348, IEEE Washington DC USA ISBN 78-0-7695-4967-5
    588. Efficient and Accurate Mining of Succinct Bug Signatures. Chengnian Sun, Siau-Cheng Khoo, David Lo, and Hong Cheng. technical report National University of Singapore, available from http://www.comp.nus.edu.sg/~suncn/mbs/paper.pdf
    589. Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings. Sam Blackshear, and Shuvendu K. Lahiri. in Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, USA, June 16-22, 2013, pp. 209-218, 2013 ACM New York, NY USA, ISBN: 978-1-4503-2014-6
    590. Patch Verification via Multiversion Interprocedural Control Flow Graphs. Wei Le, and Shannon D. Pattison. in proceedings of the 36th International Conference on Systems Engineering (ICSE '14), Hyderabad, India, May 31-June 7, 2014, pp. 1047-1058, 2014 ACM New York, NY, ISBN: 978-1-4503-2756-5
    591. Property Differencing for Incremental Checking. Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta. in proceedings of the 36th International Conference on Systems Engineering (ICSE '14), Hyderabad, India, May 31-June 7, 2014, pp. 1059-1070, 2014 ACM New York, NY, ISBN 978-1-4503-2756-5
    592. A Partial Replication with a Sample Size of One: A Smoke Test for Empirical Software Engineering. Andrew Brooks, Jason Chambers, Chee Nou Lee, and Forest Mead. in proceedings of the 2013 Third International Workshop on Replication in Empirical Software Engineering Research (RESER), Baltimore, MD, USA, Oct 9, 2013, pp. 56-65, 2013 IEEE Washington DC USA
    593. Metamorphic Slice: An Application in Spectrum-Based Fault Localization. Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen, and Baowen Xu. in journal Information and Software Technology, Vol. 55 Iss. 5 pp. 866-879, 2013 Elsevier B.V. Netherlands
    594. CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization. Xiaobing Sun, Bixin Li, and Wanzhi Wen. in Proceedings of the 2013 13th International Conference on Quality Software (QSIC), Nanjing China, July 29-30 2013, pp.204-207, 2013 IEEE, Washington DC, USA
    595. Lightweight Control-Flow Instrumentation and Postmortem Analysis in Support of Debugging. Peter Ohmann, and Ben Liblit. in proceedings of the 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA USA, Nov 11-15, 2013, pp. 378-388, 2013 IEEE Piscataway, NJ USA, ISBN 978-1-4799-0215-6
    596. SSTCSC: A Semantic Structure of Test Cases and Source Code. Muhammad Bilal Bashir, Tazzaina Malik, and Tanvir Afzal. in proceedings of the 2013 11th International Conference on Frontiers of Information Technology (FIT), Islamabad Pakistan, Dec 16-18 2013, pp. 241-246, 2013 IEEE Piscataway NJ USA, ISBN 978-1-4799-2293-2
    597. Differential Assertion Checking. Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel. in proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE), St. Petersburg, Russia, August 18-26, 2013, pp. 345-355, 2013 ACM New York, NY USA, ISBN 978-1-4503-2237-9
    598. Hierarchy-Debug: A Scalable Statistical Technique for Fault Localization. Saeed Parsa, Mojtaba Vahidi-Asl, and Maryam Asadi-Aghbolaghi. in Software Quality Journal, Vol 22 Iss 3 September 2014, pp. 427-466, 2014 Springer-US, ISSN: 0963-9314
    599. Similarity-based Test Case Prioritization using Ordered Sequences of Program Entities. Chunrong Fang, Zhenyu Chen, Kun Wu, and Zhihong Zhao. in journal Software Quality Journal, Vol 22 Iss 2 June 2014, pp. 335-361, 2014 Springer Science+Business Media New York, NY USA
    600. Using Dependency Structures for Prioritization of Functional Test Suites. Shifa-e-Zehra Haidry and Tim Miller, in journal IEEE Transactions in Software Engineering, Vol 39, No 2, Feb 2013, pp.258-275, 2013 IEEE, Piscataway NJ USA
    601. A Call Graph Mining and Matching Based Defect Localization Technique. Anis Yousefi, and Alan Wassyng. in proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, Luxembourg, March 18-22 2013, pp. 86-95, 2013 IEEE Piscataway NJ USA
    602. Symbolic Software Model Validation. Cynthia Sturton, Rohit Sinha, Thurston H.Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, and David Wagner. in proceedings of the 2013 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Portland, OR, USA, Oct 18-20, 2013, pp. 97-108, 2013 IEEE Piscataway NJ USA, ISBN 978-1-4799-0903-2
    603. Dynamic Stopping Criteria for Search-Based Test Data Generation for Path Testing. I. Hermadi, C. Lokan, and R. Sarker. in journal Information and Software Technology, Vol 56 Iss 4, pp. 395-407, 2014 Elsevier B.V. the Netherlands
    604. A Test-Suite Reduction Approach to Improving Fault-Localization Effectiveness. Gong Dandan, Wang Tiantian, Su Xiaohong, and Ma Peijun. in journal Computer Languages, Systems & Structures, Vol 39 Iss 3, Oct 2013, pp. 95-108, 2013 Elsevier B.V. the Netherlands
    605. Test Case Generation for Modified Code Using a Variant of Particle Swarm Optimization (PSO) Algorithm. Shailesh Tiwari, K.K. Mishra, and A.K. Misra. in proceedings of the 2013 10th International Conference on Information Technology:New Generations (ITNG), Las Vegas, NV, USA, April 15-17 2013, pp. 363-368, IEEE Piscataway NJ USA ISBN 78-0-7695-4967-5
    606. Applying Combinatorial Testing to the Siemens Suite. Laleh Shikh Gholamhossein Ghandehari, Mehra N. Bourazjany, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn. in proceedings of the 2013 IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, Luxembourg, March 18-22, 2013, pp. 362-371, 2013 IEEE Piscataway, NJ USA, ISBN 978-1-4799-1324-4
    607. Replication Data Management: Needs and Solutions An Initial Evaluation of Conceptual Approaches for Integrating Heterogeneous Replication Study Data. Stefan Biffl, Estefanía Serral, Dietmar Winkler, Oscar Dieste, Natalia Juriston, and Nelly Condori-Fernández. in proceedings of the 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Baltimore, MD USA, Oct 10-11, 2013, pp. 233-242, IEEE Piscataway NJ, USA, ISBN 978-0-7695-5056-5
    608. Automated Bug Localization of Software Programs : A Survey Report. Debjit Pal and Rizwan Mohiuddin. Technical report, Univerisity of Illinois at Urbana-Champaign, 2013, available from http://web.engr.illinois.edu/~dpal2/pdf/Research_Survey_Report.pdf
    609. Localizing State-Dependent Faults Using Associated Sequence Mining. Shaimaa Ali. Doctoral thesis, University of Western Ontario, 2013, pp. 146, available from http://ir.lib.uwo.ca/cgi/viewcontent.cgi?article=2559&context=etd
    610. Efficient Fault Simulation Through Dynamic Binary Translation for Dependability Analysis of Embedded Software. Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, and Graziano Pravadelli. in proceedings of 2013 18th IEEE European Testing Symposium (ETS), Avignon, France, May 27-30, 2013, pp. 1-6, 2013 IEEE Piscataway, NJ USA, ISBN 978-1-4673-6376-1
    611. Combining Mutation and Fault Localization for Automated Program Debugging. Vidroha Debroy, and W. Eric Wong. in Journal of Systems and Software, Vol. 90, April 2014, pp. 45-60, 2014 Elsevier B.V., the Netherlands
    612. The DStar Method for Effective Software Fault Localization. W. Eric Wong, Vidroha Debroy, Ruizhi Gao, and Yihao Li. in journal IEEE Transactions on Reliability, Vol 63, Iss 1, March 2014, pp. 290-308, 2014 IEEE Piscataway, NJ USA, ISSN 0018-9529
    613. An Optimal Technique for Reducing the Effort of Regression Test. T. Prem Jacob, and T. Ravi. in journal Indian Journal of Science and Technology, Vol 6 Iss 8, Aug 2013, pp. 5, 2013 Indian Society of Education and Environment, Chennai, ISSN 0974-6846
    614. Debugging in the Extreme: Spectrum-Based Fault Localization with Limited Test Cases. Patrick Daniel, and Kwan Yong Sim. in journal International Journal of Software Engineering and its Applications, Vol 7 No 5, 2013, pp 403-412, 2013 Science & Engineering Research Support Society, Chungnam-do, Korea, ISSN 1738-9984
    615. An Empirical Study of Execution-Data Classification Based on Machine Learning. Dan Hao, Xingxia Wu, and Lu Zhang. in proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), San Francisco, CA USA, July 1-3, 2012, pp. 6, 2012 World Scientific, Singapore
    616. A Proof Slicing Framework for Program Verification. Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin, in proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, Formal Methods and Software Engineering, Vol 8144, 2013, pp. 53-69, Queenstown, New Zealand, Oct 29-Nov 1, 2013, pp. 53-69, 2013 Springer Berlin Heidelberg, ISBN 978-3-642-41201-1
    617. Functional Testing Technique Using ODC to Identify And Predict Faults. K. Sivaprakash, and Preethi Harris. in journal International Journal of Innovative Research in Computer and Communication Engineering, Vol 2 Iss 1, March 2014, pp. 3670-3674, 2014 IJIRCCE, Chennai India ISSN 2320-9798
    618. Using Test Case Reduction and Prioritization to Improve Symbolic Execution. Chaoqiang Zhang, Alex Groce, and Mohammad Amin Alipour. in proceedings of the 2014 International Symposium on Software Testing and Analysis, Palo Alto CA, USA, July 21-25, 2014, pp. 160-170, 2014 ACM New York, NY, USA, ISBN 978-1-4503-2645-2
    619. Detecting Infeasible Paths via Mining Branch Correlations. Cheng Zhang and Yuting Chen, in Journal of Software Engineering, Vol 6, pp. 65-78, Jan 24, 2013, Science Alert, New York, NY, USA, ISSN 1819-4311
    620. Unit Test Virtualization with VMVM. Jonathan S. Bell, and Gail E. Kaiser. Technical report CUCS-021-13, Columbia University, 2013, available from http://academiccommons.columbia.edu/catalog/ac%3A165654
    621. Differential Assertion Checking. Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel. in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2013), St. Petersburg, Russia, Aug 18-26, 2013, pp. 345-355, 2013 ACM New York, NY USA, ISBN 978-1-4503-2237-9
    622. An Input Space Modeling Methodology for Combinatorial Testing. Mehra N. Borazjany, Laleh Sh. Ghandehari, Yu Lei Kacker, N. Raghu and D. Richard Kuhn. in proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Luxembourg, March 18-22, 2013, pp. 372-381, 2013 IEEE Piscataway NJ USA, ISBN 978-1-4799-1324-4
    623. Spectrum-based Fault Localization: A Pair Scoring Approach. Patrick Daniel, and Kwan Yong Si. in Journal of Industrial and Intelligent Information, Vol. 1 No. 4, Dec 2013, pp. 185-190, 2013 Engineering and Technology Publishing, Rowland Height, CA USA, ISSN: 2315-4527
    624. Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection. Debajyoti Mondal, Hadi Hemmati, and Stephane Durocher. 2014 technical report, University of Manitoba, available from cs.umanitoba.ca/~hemmati/pubs/modiv.pdf
    625. Metallaxis-FL: Mutation - based Fault Localization. Mike Papadakis, and Yves Le Traon. accepted to journal Software Testing, Verfication and Reliability, available from http://pages.cs.aueb.gr/~mpapad/papers/STVR2013.pdf
    626. Towards More Accurate Multi-label Software Behavior Learning. Xin Xia, Yang Feng, David Lo, Zhenyu Chen, and Xinyu Wang. in proceedings of the 2014 IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), Antwerp, Belgium, Feb 3-6 2014, pp. 134-143, 2014 IEEE Piscataway NJ USA
    627. Specialization Slicing. Min Aung, Susan Horwitz, Rich Joiner, and Thomas Reps. Technical report TR1776-R1, Computer Sciences Department, Univerisity of Wisconsin, Aug 14, 2013 available from http://144.92.161.87/bitstream/handle/1793/66351/TR1776-R1.pdf?sequence=3
    628. Orthogonal Exploration of the Search Space in Evolutionary Test Case Generation. Fitsum M. Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, and Paolo Tonella. in Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013), Lugano, Switzerland, July 15-20, 2013, pp. 257-267, 2013 ACM, New York, NY, USA, ISBN: 978-1-4503-2159-4
    629. MintHint: Automated Synthesis of Repair Hints. Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, and Alessandro Orso. in Proceedings of the 36th International Conference on Systems Engineering (ICSE '14), Hyderabad, India, May 31-June 7, 2014, pp. 266-276, 2014 ACM New York, NY, ISBN 978-1-4503-2756-5
    630. Comparing Non-Adequate Test Suites using Coverage Criteria. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov. in Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013), Lugano, Switzerland, July 15-20, 2013, pp. 320-313, 2013 ACM New York, NY, USA, ISBN 978-1-4503-2159-4
    631. Safely Reducing the Cost of Unit Level Symbolic Execution through Read/Write Analysis. Eric F. Rizzi, Matthew B. Dwyer, and Sebastian Elbaum. in journal ACM SIGSOFT Software Engineering Notes, Vol 39, Iss 1, Jan 2014, pp. 1-5, 2014 ACM New York, NY, USA
    632. Fault Localization Based on Failure-Inducing Combinations. Laleh Sh. Ghandehari, Yu Lei, David Kung, Raghu Kacker, and Richard Kuhn. in proceedings of the 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA USA, Nov 4-7 2013, pp. 168-177, 2013 IEEE Piscataway NJ USA
    633. Learning Combinatorial Interaction Testing Strategies using Hyperheuristic Search. Yue Jia, Myra B. Cohen, Mark Harman, and Justyna Petke. Research note RN/13/17, University College London, Sept 17, 2013, available from http://www.cs.ucl.ac.uk/fileadmin/UCL-CS/research/Research_Notes/RN_13_17.pdf
    634. Sequential Pattern Mining Based Test Case Regeneration. Wei He, and Ruilian Zhao. in Journal of Software, Vol 8 Iss 12, Dec 2013, pp. 3105-3113, 2013 Academy Publisher, Road Town, Tortola, British Virgin Islands, ISSN 1796-217X
    635. Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing. Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman. in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (FSE 2013), St. Petersburg, Russia, Aug 18-26, 2013, pp. 26-36, 2013 ACM New York, NY USA, ISBN 978-1-4503-2237-9
    636. Fault Density, Fault Types, and Spectra-based Fault Localization. Nicholas DiGiuseppe, and James A. Jones, in journal Empirical Software Engineering, March 18, 2014, pp. 1-40, Springer US, New York, NY USA
    637. Checked Coverage: An Indicator for Oracle Quality. David Schuler, and Andreas Zeller. in Journal of Software: Testing, Verification and Reliability, Vol 23 Iss 7, Nov 2013, pp. 531-551, John Wiley & Sons, New York, NY, USA
    638. The Optimisation of Stochastic Grammars to Enable Cost-effective Probabilistic Structural Testing. Simon Poulding, Robert Alexander, John A. Clark, and Mark J. Hadley. in Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation (GECCO 2013), Amsterdam, the Netherlands, July 6-10, 2013, pp. 1477-1484, 2013 ACM New York, NY USA, ISBN 978-1-4503-1963-8
    639. A Proof Slicing Framework for Program Verification. Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin. in Proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, Oct 29 - Nov 1, 2013, Vol 8144, 2013, pp. 53-69, 2013 Springer US, New York NY USA ISBN 978-3-642-41201-1
    640. Adaptive Random Testing With Combinatorial Input Domain. Rubing Huang, Jinfu Chen, and Yansheng Lu. in The Scientific World Journal, Vol 2014 (2014), Article ID 843248, 16 pages, 2014 Hindawi Publishing, New York NY USA
    641. Search-based Testing using Constraint-based Mutation. Jan Malburg, and Gordon Frase. in Journal of Software: Testing, Verification and Reliability, early view online, Aug 30, 2013, pp. 24, 2013 John Wiley & Sons Ltd., London, UK
    642. Generating Unit Tests for Concurrent Classes. Sebastian Steenbuck, and Gordon Fraser. in proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Luxembourg, March 18-22, 2013, pp. 144-153, 2013 IEEE Piscataway NJ USA, ISBN 978-1-4799-1324-4
    643. Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. Mike Papadakis, Christopher Henard, and Yves Le Traon. in proceedings of the 2014 International Conference on Software Testing, Verification, and Validation (ICST '14), Cleveland OH, USA, Mar 31 - Apr 4, 2014, pp. 10, 2014 IEEE Piscataway NJ, USA
    644. Generating Profile-based Signatures for Online Intrusion and Failure Detection. Wes Masri, Rawad Abou Assi, and Marwa El-Ghali. in journal Information and Software Technology, Vol. 56, Issue 2, February 2014, Pages 238-251, 2014 Elsevier B.V. the Netherlands, ISSN 0950-5849
    645. Coincidental Correctness: An Interference or Interface to Successful Fault Localization? Zheng Zheng, Yichao Gao, Peng Hao, and Zhenyu Zhang. in proceedings of 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Pasadena, CA, USA, Nov 4-7, 2013, pp 114-119, 2013 IEEE Piscataway NJ, USA
    646. An Empirical Study on the use of Mutant Traces for Diagnosis of Faults in Deployed Systems. Syed Shariyar Murtazaa, Abdelwahab Hamou-Lhadjc, Nazim H. Madhavjia, and Mechelle Gittens. in Journal of Systems and Software, Vol 90, April 2014, pp. 29-44, 2014 Elsevier B.V. the Netherlands
    647. Mutation Testing Strategies using Mutant Classification. Mike Papadakis, and Yves Le Traon. in proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC 2013), Coimbra, Portugal, Mar 18-22, 2013, pp. 1223-1229, 2013 ACM New York, NY, USA, ISBN 978-1-4503-1656-9
    648. Test Selection on Extended Finite State Machines with Provable Guarantees. Bo Guo, and Mahadevan Subramaniam. in Journal of Software Engineering and Applications, Vol. 6 No. 9, September 2013, pp. 500-510, 2014 Scientific Research Publishing, Irvine CA, USA
    649. HSFal: Effective Fault Localization using Hybrid Spectrum of Full Slices and Execution Slices. Xiaolin Ju, Shujuan Jiang, Xiang Chen, Xingya Wang, Yanmei Zhang, and Heling Cao. in Journal of Systems and Software, Vol. 90, April 2014, Pages 3-17, 2014 Elsevier B.V. the Netherlands
    650. A Fuzzy Expert System for Cost-Effective Regression Testing Strategies. Amanda Schwartz, and Hyunsook Do. in proceedings of the 2013 29th IEEE International Conference on Software Maintenance (ICSM 2013), Eindhoven, the Netherlands, Sept 22-28 2013, pp. 1-10, 2013 IEEE Piscataway NJ, USA, ISSN 1063-6773
    651. Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization. Pietro Braione, Giovanni Denaro, and Mauro Pezzé. in proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (FSE 2013),St. Petersburg, Russia, Aug 18-26, 2013, pp. 411-421, 2013 ACM New York, NY USA, ISBN 978-1-4503-2237-9
    652. Estimating Fault Numbers Remaining After Testing. Marc Roper. in proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Luxembourg, March 18-22, 2013, pp. 272-281, 2013 IEEE Piscataway NJ USA, ISBN 978-1-4799-1324-4
    653. How Significant is the Effect of Fault Interactions on Coverage-Based Fault Localizations? Xiaozhen Xue, and Akbar Siami Namin. in proceedings of the 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013), Baltimore MD, USA, Oct 10-11, 2013, pp. 113-122, IEEE Piscataway NJ, USA, ISBN 978-0-7695-5056-5
    654. Using automatically generated invariants for regression testing and bug localization. Parth Sagdeo, Nicholas Ewalt, Debjit Pal, and Shobha Vasudevan. in proceedings of the 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA, USA, Nov 11-15, 2013, pp. 634-639, 2013 IEEE Piscataway, NJ USA
    655. DUA-Forensics: A Fine-grained Dependence Analysis and Instrumentation Framework Based on Soot. Raúl, Santelices, Yiji Zhang, Haipeng Cai, and Siyuan Jiang. in proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis (SOAP 2013), Seattle, WA USA, June 16-22, 2013, pp 13-18, 2013 ACM New York, NY USA ISBN 978-1-4503-2201-0
    656. Spectrum-based Fault Localization Tool with Test Case Preprocessor. Patrick Daniel, and K.Y. Sim. in proceedings of the 2013 IEEE Conference on Open Systems (ICOS), Kuching Malaysia, Dec 2-4, 2013, pp. 162-167, IEEE Piscataway NJ, USA, ISBN 978-1-4799-3152-1
    657. Exploring Program Phases for Statistical Bug Localization. Varun Modi, Subhajit Roy, and Sanjeev K. Aggarwal. in Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2013), Seattle, WA USA, June 16-22, 2013, pp 33-40, 2013 ACM New York, NY USA ISBN 978-1-4503-2201-0
    658. Extended Comprehensive Study of Association Measures for Fault Localization. Lucia Lucia, David Lo, Lingxiao Jiang, Ferdian Thung, and Aditya Budi. in Journal of Software: Evolution and Process, Vol 26, Iss 2 Feb 2014, pp. 172-219, 2014 Wiley & Sons, New York, NY USA
    659. Will Fault Localization Work for these Failures? An Automated Approach to Predict Effectiveness of Fault Localization Tools. Tien-Duy B. Le and David Lo. in proceedings of the 2013 29th IEEE International Conference on Software Maintenance (ICSM), Eindhoven the Netherlands, Sept. 22-28 2013, pp. 310-319, 2013 IEEE Piscataway, NJ USA, ISSN 1063-6773
    660. Statistical Fault Localization in Decision Support System Based on Probability Distribution Criterion. P. Hao, Z. Zheng, Y. Gao, and Z. Zhang. in proceedings of the 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), Edmondton, AB Canada, June 24-28, 2013, pp. 878-883, 2013 IEEE Piscataway, NJ USA
    661. Operator-based and random mutant selection: Better together. Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid. in proceedings of the 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA, USA, Nov 11-15, 2013, pp. 92-102, 2013 IEEE Piscataway, NJ USA
    662. Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study. Zhanwei Hui, Song Huang, Zhengping Ren, and Yi Yao. in journal Mathematical Problems in Engineering, vol 2013, article ID 381389, pp. 6, 2013 Hindawi Publishing, New York, NY USA
    663. Quality Assurance of Database Centric Applications. Kunal Taneja. Doctoral dissertation, North Carolina State University, Dec 2013, pp. 127, available from http://repository.lib.ncsu.edu/ir/bitstream/1840.16/8517/1/etd.pdf
    664. Generating Test Data for Both Path Coverage and Fault Detection using Genetic Algorithms. Dunwei Gong, and Yan Zhang. in journal Frontiers of Computer Science, Vol 7 Iss 6 Dec 2013, pp. 822-837, Springer US, New York NY USA
    665. Injecting Mechanical Faults to Localize Developer Faults for Evolving Software. Lingming Zhang, Lu Zhang, and Khurshid, Sarfraz. in Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA 2013), Indianapolis, IN USA, Oct 26-31, 2013, pp. 765-784, 2013 ACM New York, NY USA, ISBN 978-1-4503-2374-1
    666. Theory and Practice, Do They Match? A Case with Spectrum-Based Fault Localization. Tien-Duy B. Le, Ferdian Thung, and David Lo. in proceedings of the 2013 29th IEEE International Conference on Software Maintenance (ICSM), Eindhoven the Netherlands, Sept. 22-28 2013, pp. 380-383, 2013 IEEE Piscataway, NJ USA, ISSN 1063-6773
    667. Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries. Vijay Krishna Palepu, Guoqing Xu, and James A. Jones. in proceedings of the 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA, USA, Nov 11-15, 2013, pp. 59-69, 2013 IEEE Piscataway, NJ USA
    668. Measuring the Odds of Statements Being Faulty. Xiaozhen Xue, and Akbar Siami Namin. in journal Reliable Software Technologies - Proceedings of the Ada-Europe 18th International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. vol 7896, 2013, pp. 109-126, 2013 Springer Berlin/Heidelberg, ISBN 978-3-642-38600-8
    669. FaultTracer: A Spectrum-based Approach to Localizing Failure-inducing Program Edits. Lingming Zhang, Miryung Kim and Sarfraz Khurshid. in Journal of Software: Evolution and Process, Dec 2013 Vol 25 Iss 12, pp. 1357-1383, 2013 Wiley & Sons, New York, NY USA
    670. Noise Reduction for Spectrum-based Fault Localization. Patrick Daniel, and Kwan Yong Sim, in journal International Journal of Control & Automation, Oct 2013 Vol. 6 Issue 5, pp. 117-126, 2013 Science & Engineering Research Support soCiety, Chungnam-do Korea, ISSN 2005-4297
    671. The Use of Automated Search in Deriving Software Testing Strategies. Simon M. Poulding. Doctoral thesis, University of York. Nov 25, 2013, pp. 225, available from http://etheses.whiterose.ac.uk/id/eprint/4698
    672. Visualizing Constituent Behaviors within Executions. Vijay Krishna Palepu, and James A. Jones. in proceedings of 2013 First IEEE Working Conference on Software Visualization (VISSOFT), Eindhoven the Netherlands, Sept. 27-28 2013, pp. 1-4, 2013 IEEE Piscataway, NJ USA, ISSN 1063-6773
    673. Guidelines for Coverage-based Comparisons of Non-adequate Test Suites. Rohan Sharma. Masters dissertation, Graduate College of the University of Illinois, Dec. 2013, pp. 63, available from https://www.ideals.illinois.edu/handle/2142/46636
    674. A Fault Localization Framework to Alleviate the Impact of Execution Similarity. Lei Zhao, Zhenyu Zhang, Lina Wang, and Xiaodan Yin. in International Journal of Software Engineering and Knowledge Engineering, Volume 23, Issue 07, September 2013, 2013 World Scientific, Singapore, ISSN: 0218-1940
    675. Adding Context to Fault Localization with Integration Coverage. Higor Amario de Souza, and Marcos Lordello Chaim, in proceedings of the 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Palo Alto, CA, USA, Nov 11-15, 2013, pp. 628-633, 2013 IEEE Washington, DC USA
    676. Software Bug Management from Bug Reports to Bug Signatures. Sun Chengnian. Doctoral thesis, Department of Computer Science, National University of Singapore, March 28, 2013, pp. 159, available from http://scholarbank.nus.sg/handle/10635/47360
    677. Cooperari: A Tool for Cooperative Testing of Multithreaded Java programs. Eduardo R. B. Marques, Francisco Martins, and Miguel Simões. In Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages (PPPJ'14), Krakow, Poland, Sept. 25, 2014, pp. 200-206, 2014, ISBN 978-1-4503-2926-2,ACM New York, NY. Available from http://dl.acm.org/citation.cfm?doid=2647508.2647523
  • Publications citing objects available prior to SIR creation
    1. Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique. J. A. Jones, M. J. Harrold. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, November, 2005, pp. 273-282.
    2. Efficient and Precise Dynamic Impact Analaysis Using Execute-After Sequences. T. Apiwattanapong, A. Orso, M. J. Harrold. In Proceedings of the 27th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, May, 2005, pp. 432-441.
    3. Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and Debugging. S. Sinha, A. Orso, M. J. Harrold. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 13, No. 2, pp. 199-239.
    4. Selecting a Cost-Effective Test Case Prioritization Technique. S. Elbaum, G. Rothermel, S. Kanduri, A. G. Malishevsky. Software Quality Journal, Vol. 12, No. 3, September, 2004, pp. 185-210.
    5. Active Learning for Automatic Classification of Software Behavior. J. F. Bowring, J. M. Rehg, M. J. Harrold. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, Massachusetts, July, 2004, pp. 195-205.
    6. An Empirical Comparison of Dynamic Impact Analysis Algorithms. A. Orso, T. Apiwattanapong, J. B. Law, G. Rothermel, M. J. Harrold. In Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), Edinburgh, Scotland, May, 2004, pp. 491-500.
    7. Finding Latent Code Errors via Machine Learning over Program Executions. Y. Brun, M. Ernst. In ICSE'04, Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May, 2004, pp. 480-490.
    8. Using Spanning Sets for Coverage Testing. IEEE Transactions on Software Engineering, Vol. 29, No. 11, November, 2003.
    9. Incremental Dynamic Impact Analysis for Evolving Software Systems. J. Law, G. Rothermal. In Proceedings of the International Symposium on Software Reliability Engineering, November, 2003.
    10. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow. S. Sinha, A. Orso, M. J. Harrold. Technical Report GIT-CC-03-48, College of Computing, Georgia Institute of Technology, September, 2003.
    11. Understanding the Effects of Changes on the Cost-Effectiveness of Regression Testing Techniques. S. Elbaum, P. Kallakuri, A. G. Malishevsky, G. Rothermel, S. Kanduri. Journal of Software Testing, Verification, and Reliability, Vol. 13, No. 2, June, 2003, pp. 65-83.
    12. Improving test suites via operational abstraction. M Harder, J. Mellen, M. Ernst. In ICSE'03, Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, May 2003, pp. 60-71.
    13. Whole Program Path-Based Dynamic Impact Analysis. J. Law, G. Rothermel. In Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, May, 2003, pp. 308-318.
    14. Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage. J. A. Jones, M. J. Harrold. IEEE Transactions on Software Engineering, Vol. 29, No. 3, March, 2003, pp. 195-209.
    15. Understanding Data Dependences in the Presence of Pointers. A. Orso, S. Sinha, M. J. Harrold. Technical Report GIT-CERCS-03-10, College of Computing, Georgia Institute of Technology, May, 2003.
    16. Testing with Model Checkers: Insuring Fault Visibility. V. Okun, P. Black, Y. Yesha. In The World Scientific and Engineering Academy and Society Transactions on Systems, Vol. 2, No. 1, January, 2003, pp. 77-82.
    17. Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites? W. Chen, R. H. Untch, G. Rothermel, S. Elbaum, J. von Ronne. Journal of Software Testing, Verification, and Reliability, Vol. 4, No. 2, December, 2002.
    18. Empirical Studies of Test Suite Reduction. G. Rothermel, M. J. Harrold, J. von Ronne, C. Hong. Journal of Software Testing, Verification, and Reliability, Vol. 4, No. 2, December, 2002.
    19. A history-based test prioritization technique for regression testing in resource constrainted environments. J. Kim, A. Porter. In Proceedings of the 24th International Conference on Software Engineering, May, 2002.
    20. Macro and Micro Perspectives on Strategic Software Quality Assurance in Resource Constrained Environments. T. Xie, D. Notkin. In Proceedings of the 4th International Workshop on Economics-Driven Software Engineering Research, May, 2002.
    21. Test Case Prioritization: A Family of Empirical Studies. S. Elbaum, A. Malishevsky, G. Rothermel. IEEE Transactions on Software Engineering, Vol. 28, No. 2, February, 2002, pp. 159-192.
    22. Using Component Metadata to Support the Regression Testing of Component-Based Software. A. Orso, M. J. Harrold, D. Rosenblum, G. Rothermel, M. L. Soffa, H. Do. In Proceedings of the IEEE International Conference on Software Maintenance, November, 2001.
    23. Prioritizing Test Cases for Regression Testing. G. Rothermel, R. Untch, C. Chu, M. J. Harrold. IEEE Transactions on Software Engineering, Vol. 27, No. 10, October, 2001, pp. 929-948.
    24. Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization. S. Elbaum, A. Malishevsky, G. Rothermel. In Proceedings of the 23rd International Conference on Software Engineering, May, 2001, pp. 329-338.
    25. Computation of Interprocedural Control Dependencies. S. Sinha, M. J. Harrold, G. Rothermel. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 10, No. 2, April, 2001, pp. 209-254.
    26. An Empirical Study of Regression Test Selection Techniques. T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, G. Rothermel. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 10, No. 2, Aprtil, 2001, pp. 184-208.
    27. A Comparative Study of Coarse− and Fine−Grained Safe Regression Test Selection. J. Bible, G. Rothermel, D. Rosenblum. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 10, No. 2, April, 2001, pp. 149-183.
    28. Empirical Studies of a Prediction Model for Regression Test Selection. M. J. Harrold, D. Rosenblum, G. Rothermel, E. Weyuker. IEEE Transactions on Software Engineering, Vol. 27, No. 3, March, 2001, pp. 248-263.
    29. Using Symbolic Execution for Verifying Safety-Critical Systems. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, and Mauro Pezzé. In Proc. 8th European Software Engineering Conference ESEC/FSE, ISBN 1581133901, ACM New York, NY 2001, pp. 142-151.

 


Try the following link to upgrade the page display. (Explanation)