Jessica Chen

	2009
39		Yan Wang, Jianguo Lu, Jessica Chen: Crawling Deep Web Using a New Set Covering Algorithm. ADMA 2009: 326-337
38		Lihua Duan, Jessica Chen: Exploring alternatives for transition verification. Journal of Systems and Software 82(9): 1388-1402 (2009)
	2008
37		Jessica Chen, Robert M. Hierons, Hasan Ural: Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183
36		Lihua Duan, Jessica Chen: An Approach to Testing with Embedded Context Using Model Checker. ICFEM 2008: 66-85
35		Jianguo Lu, Yan Wang, Jie Liang, Jessica Chen, Jiming Liu: An Approach to Deep Web Crawling by Sampling. Web Intelligence 2008: 718-724
34		Lihua Duan, Jessica Chen: Error-preserving reductions on communication protocols. Softw. Test., Verif. Reliab. 18(1): 51-68 (2008)
	2007
33		Lihua Duan, Yan Wang, Jessica Chen: Enhanced Traverse of Web Pages. HASE 2007: 113-122
32		Lihua Duan, Jessica Chen: A Formal Approach to Website Maintenance. HASE 2007: 419-420
31		Lihua Duan, Jessica Chen: Reducing Test Sequence Length Using Invertible Sequences. ICFEM 2007: 171-190
30		Hanmei Cui, Jessica Chen: On Formal MOM Modeling. ISPA 2007: 563-576
29		Lihua Duan, Jessica Chen: Alternative B-Sequences. QSIC 2007: 127-136
	2006
28		Jessica Chen, Lihua Duan: Conditions for Avoiding Controllability Problems in Distributed Testing. ICFEM 2006: 460-477
27		Jessica Chen, Lihua Duan: Optimal Synchronizable Test Sequence from Test Segments. QSIC 2006: 266-273
26		Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural: Improving Coverage in Functional Testing. QSIC 2006: 99-106
25		Jessica Chen, Hasan Ural: Detecting Observability Problems in Distributed Testing. TestCom 2006: 213-226
24		Jessica Chen, Robert M. Hierons, Hasan Ural: Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006)
	2005
23		Jessica Chen, Robert M. Hierons, Hasan Ural: Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232
22		Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün: Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158
21		Malika Mahoui, Lingma Lu, Ning Gao, Nianhua Li, Jessica Chen, Omran A. Bukhres, Zina Ben-Miled: A Dynamic Workflow Approach for the Integration of Bioinformatics Services. Cluster Computing 8(4): 279-291 (2005)
	2004
20		Zina Ben-Miled, Lingma Lu, Malika Mahoui, Jessica Chen, Omran A. Bukhres, Ning Gao, Yue He: A Service Discovery Approach in Support of Web Service Integration. BIBE 2004: 65-72
19		Zina Ben-Miled, Ning Gao, Omran A. Bukhres, Lingma Lu, Nianhua Li, Yue He, Malika Mahoui, Jessica Chen: SIBIOS: A System for the Integration of Bioinformatics Services. CLADE 2004: 74
18		Jessica Chen, Robert M. Hierons, Hasan Ural: Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242
17		Jessica Chen, Xiaoshan Zhao: Formal Models for Web Navigations with Session Control and Browser Cache. ICFEM 2004: 46-60
16		Jessica Chen, Hanmei Cui: Translation from Adapted UML to Promela for CORBA-Based Applications. SPIN 2004: 234-251
	2003
15		Jessica Chen, Kun Wang: Experiment on Embedding Interception Service into Java RMI. FIDJI 2003: 48-61
14		Jessica Chen: Using Formal Methods to Serialize Synchronization Events. ICFEM 2003: 34-47
13		Jessica Chen, Kun Wang: Constructing a Reproducible Testing Environment for Distributed Java Applications. QSIC 2003: 402-409
	2002
12		Jessica Chen: Expressing Graphical User's Input for Test Specifications. EDCIS 2002: 347-359
11		Jessica Chen: Formal Modelling of Java GUI Event Handling. ICFEM 2002: 359-370
10		Jessica Chen, Steve Chovanec: Towards Specification-based Web Testing. NETWORKING Workshops 2002: 165-171
9		Jessica Chen: Building Test Constraints for Testing Middleware-Based Distributed Systems. SEM 2002: 216-232
8		Jessica Chen, Suganthan Subramaniam: Specification-based Testing for Gui-based Applications. Software Quality Journal 10(3): 205-224 (2002)
	2001
7		Jessica Chen, Suganthan Subramaniam: A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java. HICSS 2001
6		Jessica Chen, Alice Yang: Enhance Software Reliability by Combining State-Based and Data Flow Testing. ISAS-SCI (1) 2001: 354-359
	2000
5		Jessica Chen: A study on static analysis in network of synchronizing FSMs. APSEC 2000: 489-493
4		Jessica Chen: On Using Static Analysis in Distributed System Testing. EDO 2000: 145-162
3		Jessica Chen: On Verifying Distributed Multithreaded Java Programs. HICSS 2000
	1999
2		Jessica Chen, Sheue-Ling Hwang: An Experimental Study of User Interface in a Data Management System. HCI (1) 1999: 646-650
1		Jessica Chen: On Verifying Distributed Multithreaded Java Programs. Software Quality Journal 8(4): 321-341 (1999)

Coauthor Index

1	Zina Ben-Miled	[19] [20] [21]
2	Omran A. Bukhres	[19] [20] [21]
3	Steve Chovanec	[10]
4	Hanmei Cui	[16] [30]
5	Lihua Duan	[27] [28] [29] [31] [32] [33] [34] [36] [38]
6	Ning Gao	[19] [20] [21]
7	Yue He	[19] [20]
8	Robert M. Hierons	[18] [22] [23] [24] [37]
9	Sheue-Ling Hwang	[2]
10	Guy-Vincent Jourdan	[26]
11	Nianhua Li	[19] [21]
12	Jie Liang	[35]
13	Jiming Liu	[35]
14	Jianguo Lu	[35] [39]
15	Lingma Lu	[19] [20] [21]
16	Wenxin Ma	[26]
17	Malika Mahoui (Malika Mahoui-Guerni)	[19] [20] [21]
18	Suganthan Subramaniam	[7] [8]
19	Hasan Ural	[18] [22] [23] [24] [25] [26] [37]
20	Kun Wang	[13] [15]
21	Yan Wang	[33] [35] [39]
22	Alice Yang	[6]
23	Hüsnü Yenigün	[22]
24	Xiaoshan Zhao	[17]

Colors in the list of coauthors