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