James H. Andrews

48 papers A* 12A 5B 2C 1Journal 13Unranked 14
YearRankTypeTitle / Venue / Authors
2015 A* conf
Dynamically Testing GUIs Using Ant Colony Optimization (T).
ASE
Santo Carino, James H. Andrews
2015 — conf
Evaluating the Effect of Test Case Length on GUI Test Suite Performance.
AST@ICSE
Santo Carino, James H. Andrews
2014 J jnl
BlackHorse: creating smart test cases from brittle recorded tests.
Softw. Qual. J.
Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Jakub Hertyk
2013 A* conf
Comparing multi-point stride coverage and dataflow coverage.
ICSE
Mohammad Mahdi Hassan, James H. Andrews
2013 — conf
Killer App: A Eurogame about software quality.
CSEE&T
James H. Andrews
2012 — conf
BlackHorse: Creating smart test cases from brittle recorded tests.
AST@ICSE
Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk
2012 A conf
Generating String Test Data for Code Coverage.
ICST
Michael Beyene, James H. Andrews
2011 J jnl
Genetic Algorithms for Randomized Unit Testing.
IEEE Trans. Software Eng.
James H. Andrews, Tim Menzies, Felix Chun Hang Li
2009 A* conf
Evaluating the Accuracy of Fault Localization Techniques.
ASE
Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang
2009 A conf
Johar: a framework for developing accessible applications.
ASSETS
James H. Andrews, Fatima Hussain
2009 — conf
On the value of combining feature subset selection with genetic algorithms: faster learning of coverage models.
PROMISE
James H. Andrews, Tim Menzies
2009 A conf
The influence of size and coverage on test suite effectiveness.
ISSTA
Akbar Siami Namin, James H. Andrews
2008 B conf
A Useful Bounded Resource Functional Language.
SOFSEM
Michael J. Burrell, James H. Andrews, Mark Daley
2008 A* conf
Random Test Run Length and Effectiveness.
ASE
James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu
2008 A* conf
Sufficient mutation operators for measuring test effectiveness.
ICSE
Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch
2007 J jnl
An untyped higher order logic with Y combinator.
J. Symb. Log.
James H. Andrews
2007 — conf
Industrial Evaluation of a Log File Analysis Methodology.
WODA@ICSE
Donald J. Yantzi, James H. Andrews
2007 A* conf
Nighthawk: a two-level genetic-random unit test data generator.
ASE
James H. Andrews, Felix Chun Hang Li, Tim Menzies
2007 — conf
On Sufficiency of Mutants.
ICSE Companion
Akbar Siami Namin, James H. Andrews
2006 — conf
Tool support for randomized unit testing.
Random Testing
James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li
2006 J jnl
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.
IEEE Trans. Software Eng.
James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin
2005 J jnl
ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005).
ACM SIGSOFT Softw. Eng. Notes
Lori L. Pollock, James H. Andrews
2005 A* conf
Is mutation an appropriate tool for testing experiments?
ICSE
James H. Andrews, Lionel C. Briand, Yvan Labiche
2005 A conf
Minimization of Randomized Unit Test Cases.
ISSRE
Yong Lei, James H. Andrews
2005 A* conf
Third international workshop on dynamic analysis(WODA 2005).
ICSE
James H. Andrews, Lori L. Pollock
2004 A* conf
Case Study of Coverage-Checked Random Data Structure Testing.
ASE
James H. Andrews
2004 J jnl
Relevant empirical testing research: challenges and responses.
ACM SIGSOFT Softw. Eng. Notes
James H. Andrews
2003 J jnl
General Test Result Checking with Log File Analysis.
IEEE Trans. Software Eng.
James H. Andrews, Yingjun Zhang
2003 J jnl
The witness properties and the semantics of the Prolog cut.
Theory Pract. Log. Program.
James H. Andrews
2002 A* conf
Adding Value to Formal Test Oracles.
ASE
James H. Andrews, Rui Fu, Vicky D. Liu
2002 J jnl
The Witness Properties and the Semantics of the Prolog Cut
CoRR
James H. Andrews
2001 — conf
Process-Algebraic Foundations of Aspect-Oriented Programming.
Reflection
James H. Andrews
2000 A* conf
Broad-spectrum studies of log file analysis.
ICSE
James H. Andrews, Yingjun Zhang
2000 — conf
Experience Report: A Software Maintenance Project Course.
CSEE&T
James H. Andrews, Hanan Lutfiyya
2000 J jnl
Experiences with a software maintenance project course.
IEEE Trans. Educ.
James H. Andrews, Hanan Lutfi Lutfiyya
1998 A* conf
Testing using Log File Analysis: Tools, Methods, and Issues.
ASE
James H. Andrews
1997 J jnl
A Logical Semantics for Depth-First Prolog with Ground Negation.
Theor. Comput. Sci.
James H. Andrews
1997 — conf
Executing Formal Specifications by Translation to Higher Order Logic Programming.
TPHOLs
James H. Andrews
1997 C conf
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.
FORTE
James H. Andrews, Nancy A. Day, Jeffrey J. Joyce
1996 J jnl
Characterizing Logic Grammars: A Substructural Logic Approach.
J. Log. Program.
James H. Andrews, Verónica Dahl, Fred Popowich
1995 — conf
A Paralogical Semantics for the Prolog Cut.
ILPS
James H. Andrews
1995 J jnl
Foundational Issues in Implementing Constraint Logic Programming Systems.
Sci. Comput. Program.
James H. Andrews
1994 A conf
Foundational Issues in Implementing Constraint Logic Programming Systems.
ESOP
James H. Andrews
1993 — conf
A Logical Semantics for Depth-First Prolog with Ground Negation.
ILPS
James H. Andrews
1991 — —
Logic programming : operational semantics and proof theory.
James H. Andrews
1990 — conf
The Logical Structure of Sequential Prolog.
NACLP
James H. Andrews
1989 — conf
Predicates as Parameters in Logic Programming, A Set-Theoretic Basis.
ELP
James H. Andrews
1989 B conf
Proof-Theoretic Characterisations of Logic Programs.
MFCS
James H. Andrews