dblp.uni-trier.dewww.uni-trier.de

Jessica Chen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)