James H. Andrews

J. H. Andrews, Jamie Andrews

	2012
c28		Michael Beyene, James H. Andrews: Generating String Test Data for Code Coverage. ICST 2012: 270-279
	2011
j10		James H. Andrews, Tim Menzies, Felix Chun Hang Li: Genetic Algorithms for Randomized Unit Testing. IEEE Trans. Software Eng. 37(1): 80-94 (2011)
	2010
e1		Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto (Eds.): ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. ACM 2010, isbn 978-1-4503-0116-9
	2009
c27		James H. Andrews, Fatima Hussain: Johar: a framework for developing accessible applications. ASSETS 2009: 243-244
c26		Akbar Siami Namin, James H. Andrews: The influence of size and coverage on test suite effectiveness. ISSTA 2009: 57-68
c25		Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang: Evaluating the Accuracy of Fault Localization Techniques. ASE 2009: 76-87
c24		James H. Andrews, Tim Menzies: On the value of combining feature subset selection with genetic algorithms: faster learning of coverage models. PROMISE 2009: 13
	2008
c23		Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch: Sufficient mutation operators for measuring test effectiveness. ICSE 2008: 351-360
c22		James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
c21		Michael J. Burrell, James H. Andrews, Mark Daley: A Useful Bounded Resource Functional Language. SOFSEM 2008: 198-210
	2007
j9		James H. Andrews: An untyped higher order logic with Y combinator. J. Symb. Log. 72(4): 1385-1404 (2007)
c20		Akbar Siami Namin, James H. Andrews: On Sufficiency of Mutants. ICSE Companion 2007: 73-74
c19		James H. Andrews, Felix Chun Hang Li, Tim Menzies: Nighthawk: a two-level genetic-random unit test data generator. ASE 2007: 144-153
	2006
j8		James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin: Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE Trans. Software Eng. 32(8): 608-624 (2006)
c18		James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li: Tool support for randomized unit testing. Random Testing 2006: 36-45
	2005
j7		Lori L. Pollock, James H. Andrews: ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005). ACM SIGSOFT Software Engineering Notes 30(4): 1-2 (2005)
c17		James H. Andrews, Lionel C. Briand, Yvan Labiche: Is mutation an appropriate tool for testing experiments? ICSE 2005: 402-411
c16		James H. Andrews, Lori L. Pollock: Third international workshop on dynamic analysis(WODA 2005). ICSE 2005: 693
c15		Yong Lei, James H. Andrews: Minimization of Randomized Unit Test Cases. ISSRE 2005: 267-276
	2004
j6		James H. Andrews: Relevant empirical testing research: challenges and responses. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)
c14		James H. Andrews: Case Study of Coverage-Checked Random Data Structure Testing. ASE 2004: 316-319
	2003
j5		James H. Andrews: The witness properties and the semantics of the Prolog cut. TPLP 3(1): 1-59 (2003)
j4		James H. Andrews, Yingjun Zhang: General Test Result Checking with Log File Analysis. IEEE Trans. Software Eng. 29(7): 634-648 (2003)
	2002
c13		James H. Andrews, Rui Fu, Vicky D. Liu: Adding Value to Formal Test Oracles. ASE 2002: 275-248
i1		James H. Andrews: The Witness Properties and the Semantics of the Prolog Cut. CoRR cs.PL/0201029 (2002)
	2001
c12		James H. Andrews: Process-Algebraic Foundations of Aspect-Oriented Programming. Reflection 2001: 187-209
	2000
c11		James H. Andrews, Hanan Lutfiyya: Experience Report: A Software Maintenance Project Course. CSEE&T 2000: 132-139
c10		James H. Andrews, Yingjun Zhang: Broad-spectrum studies of log file analysis. ICSE 2000: 105-114
	1998
c9		James H. Andrews: Testing using Log File Analysis: Tools, Methods, and Issues. ASE 1998: 157-
	1997
j3		James H. Andrews: A Logical Semantics for Depth-First Prolog with Ground Negation. Theor. Comput. Sci. 184(1-2): 105-143 (1997)
c8		James H. Andrews, Nancy A. Day, Jeffrey J. Joyce: Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network. FORTE 1997: 417-432
c7		James H. Andrews: Executing Formal Specifications by Translation to Higher Order Logic Programming. TPHOLs 1997: 17-32
	1996
j2		James H. Andrews, Verónica Dahl, Fred Popowich: Characterizing Logic Grammars: A Substructural Logic Approach. J. Log. Program. 26(3): 235-283 (1996)
	1995
j1		James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. Sci. Comput. Program. 25(2-3): 117-147 (1995)
c6		James H. Andrews: A Paralogical Semantics for the Prolog Cut. ILPS 1995: 591-605
	1994
c5		James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. ESOP 1994: 74-88
	1993
c4		James H. Andrews: A Logical Semantics for Depth-First Prolog with Ground Negation. ILPS 1993: 220-234
	1990
c3		James H. Andrews: The Logical Structure of Sequential Prolog. NACLP 1990: 585-602
	1989
c2		James H. Andrews: Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. ELP 1989: 31-47
c1		James H. Andrews: Proof-Theoretic Characterisations of Logic Programs. MFCS 1989: 145-154

Coauthor Index

Colors in the list of coauthors

Last update Sun May 19 12:35:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page