James H. Andrews

J. H. Andrews, Jamie Andrews

	2011
39		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
38		Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010 ACM 2010
	2009
37		Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapani, Wantao Wang: Evaluating the Accuracy of Fault Localization Techniques. ASE 2009: 76-87
36		James H. Andrews, Fatima Hussain: Johar: a framework for developing accessible applications. ASSETS 2009: 243-244
35		Akbar Siami Namin, James H. Andrews: The influence of size and coverage on test suite effectiveness. ISSTA 2009: 57-68
34		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
33		James H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
32		Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch: Sufficient mutation operators for measuring test effectiveness. ICSE 2008: 351-360
31		Michael J. Burrell, James H. Andrews, Mark Daley: A Useful Bounded Resource Functional Language. SOFSEM 2008: 198-210
	2007
30		James H. Andrews, Felix Chun Hang Li, Tim Menzies: Nighthawk: a two-level genetic-random unit test data generator. ASE 2007: 144-153
29		Akbar Siami Namin, James H. Andrews: On Sufficiency of Mutants. ICSE Companion 2007: 73-74
28		James H. Andrews: An untyped higher order logic with Y combinator. J. Symb. Log. 72(4): 1385-1404 (2007)
	2006
27		James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li: Tool support for randomized unit testing. Random Testing 2006: 36-45
26		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)
	2005
25		James H. Andrews, Lionel C. Briand, Yvan Labiche: Is mutation an appropriate tool for testing experiments? ICSE 2005: 402-411
24		James H. Andrews, Lori L. Pollock: Third international workshop on dynamic analysis(WODA 2005). ICSE 2005: 693
23		Yong Lei, James H. Andrews: Minimization of Randomized Unit Test Cases. ISSRE 2005: 267-276
22		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)
	2004
21		James H. Andrews: Case Study of Coverage-Checked Random Data Structure Testing. ASE 2004: 316-319
20		James H. Andrews: Relevant empirical testing research: challenges and responses. ACM SIGSOFT Software Engineering Notes 29(5): 1-4 (2004)
	2003
19		James H. Andrews, Yingjun Zhang: General Test Result Checking with Log File Analysis. IEEE Trans. Software Eng. 29(7): 634-648 (2003)
18		James H. Andrews: The witness properties and the semantics of the Prolog cut. TPLP 3(1): 1-59 (2003)
	2002
17		James H. Andrews, Rui Fu, Vicky D. Liu: Adding Value to Formal Test Oracles. ASE 2002: 275-248
16		James H. Andrews: The Witness Properties and the Semantics of the Prolog Cut CoRR cs.PL/0201029: (2002)
	2001
15		James H. Andrews: Process-Algebraic Foundations of Aspect-Oriented Programming. Reflection 2001: 187-209
	2000
14		James H. Andrews, Hanan Lutfiyya: Experience Report: A Software Maintenance Project Course. CSEE&T 2000: 132-139
13		James H. Andrews, Yingjun Zhang: Broad-spectrum studies of log file analysis. ICSE 2000: 105-114
	1998
12		James H. Andrews: Testing using Log File Analysis: Tools, Methods, and Issues. ASE 1998: 157-
	1997
11		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
10		James H. Andrews: Executing Formal Specifications by Translation to Higher Order Logic Programming. TPHOLs 1997: 17-32
9		James H. Andrews: A Logical Semantics for Depth-First Prolog with Ground Negation. Theor. Comput. Sci. 184(1-2): 105-143 (1997)
	1996
8		James H. Andrews, Verónica Dahl, Fred Popowich: Characterizing Logic Grammars: A Substructural Logic Approach. J. Log. Program. 26(3): 235-283 (1996)
	1995
7		James H. Andrews: A Paralogical Semantics for the Prolog Cut. ILPS 1995: 591-605
6		James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. Sci. Comput. Program. 25(2-3): 117-147 (1995)
	1994
5		James H. Andrews: Foundational Issues in Implementing Constraint Logic Programming Systems. ESOP 1994: 74-88
	1993
4		James H. Andrews: A Logical Semantics for Depth-First Prolog with Ground Negation. ILPS 1993: 220-234
	1990
3		James H. Andrews: The Logical Structure of Sequential Prolog. NACLP 1990: 585-602
	1989
2		James H. Andrews: Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. ELP 1989: 31-47
1		James H. Andrews: Proof-Theoretic Characterisations of Logic Programs. MFCS 1989: 145-154

Coauthor Index

1	Shaimaa Ali	[37]
2	Lionel C. Briand	[25] [26]
3	Michael J. Burrell	[31]
4	Verónica Dahl	[8]
5	Mark Daley	[31]
6	Nancy A. Day	[11]
7	Tamilselvi Dhandapani	[37]
8	Rui Fu	[17]
9	Alex Groce	[33]
10	Susmita Haldar	[27]
11	Fatima Hussain	[36]
12	Jeffrey J. Joyce	[11]
13	Yvan Labiche	[25] [26]
14	Yong Lei	[23] [27]
15	Felix Chun Hang Li	[27] [30] [39]
16	Vicky D. Liu	[17]
17	Hanan Lutfiyya (Hanan Lutfi Lutfiyya)	[14]
18	Tim Menzies	[30] [34] [39]
19	Duncan J. Murdoch	[32]
20	Akbar Siami Namin	[26] [29] [32] [35]
21	Elisabetta Di Nitto	[38]
22	Charles Pecheur	[38]
23	Lori L. Pollock	[22] [24]
24	Fred Popowich	[8]
25	Wantao Wang	[37]
26	Melissa Weston	[33]
27	Ru-Gang Xu	[33]
28	Yingjun Zhang	[13] [19]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page