Subject Infrastructure Repository

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
678. 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, 2007.
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. 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.
23. 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.
24. 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.
25. 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.
26. 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.
27. 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.
28. 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)