Jessica Chen

According to our database1, Jessica Chen authored at least 47 papers between 1999 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Improving Adaptive Video Streaming through Session Classification.
J. Data and Information Quality, 2019

2018
Oboe: auto-tuning video ABR algorithms to network conditions.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Understanding Video Management Planes.
Proceedings of the Internet Measurement Conference 2018, 2018

2017
Crawling ranked deep Web data sources.
World Wide Web, 2017

2015
Intersections of Cycles in k-Connected Graphs.
Graphs and Combinatorics, 2015

2014
TS-IDS Algorithm for Query Selection in the Deep Web Crawling.
Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

2012
Selecting queries from sample to crawl deep web data sources.
Web Intelligence and Agent Systems, 2012

2009
Exploring alternatives for transition verification.
Journal of Systems and Software, 2009

Web Traversal with a History Stack.
Proceedings of the Ninth International Conference on Quality Software, 2009

Crawling Deep Web Using a New Set Covering Algorithm.
Proceedings of the Advanced Data Mining and Applications, 5th International Conference, 2009

2008
Error-preserving reductions on communication protocols.
Softw. Test., Verif. Reliab., 2008

An Approach to Deep Web Crawling by Sampling.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

An Approach to Testing with Embedded Context Using Model Checker.
Proceedings of the Formal Methods and Software Engineering, 2008

Testing in the Distributed Test Architecture.
Proceedings of the Formal Methods and Testing, 2008

2007
DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures.
IEEE Trans. Instrumentation and Measurement, 2007

Alternative B-Sequences.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

On Formal MOM Modeling.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

Reducing Test Sequence Length Using Invertible Sequences.
Proceedings of the Formal Methods and Software Engineering, 2007

Enhanced Traverse of Web Pages.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

A Formal Approach to Website Maintenance.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006
Overcoming observability problems in distributed test architectures.
Inf. Process. Lett., 2006

Improving Coverage in Functional Testing.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Optimal Synchronizable Test Sequence from Test Segments.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Detecting Observability Problems in Distributed Testing.
Proceedings of the Testing of Communicating Systems, 2006

Conditions for Avoiding Controllability Problems in Distributed Testing.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
A Dynamic Workflow Approach for the Integration of Bioinformatics Services.
Cluster Computing, 2005

Eliminating Redundant Tests in a Checking Sequence.
Proceedings of the Testing of Communicating Systems, 2005

Resolving Observability Problems in Distributed Test Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Translation from Adapted UML to Promela for CORBA-Based Applications.
Proceedings of the Model Checking Software, 2004

Formal Models for Web Navigations with Session Control and Browser Cache.
Proceedings of the Formal Methods and Software Engineering, 2004

Conditions for Resolving Observability Problems in Distributed Testing.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

SIBIOS: A System for the Integration of Bioinformatics Services.
Proceedings of the 2nd International Workshop on Challenges of Large Applications in Distributed Environments, 2004

A Service Discovery Approach in Support of Web Service Integration.
Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

2003
Constructing a Reproducible Testing Environment for Distributed Java Applications.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Using Formal Methods to Serialize Synchronization Events.
Proceedings of the Formal Methods and Software Engineering, 2003

Experiment on Embedding Interception Service into Java RMI.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002
Specification-based Testing for Gui-based Applications.
Software Quality Journal, 2002

Towards Specification-based Web Testing.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Formal Modelling of Java GUI Event Handling.
Proceedings of the Formal Methods and Software Engineering, 2002

Building Test Constraints for Testing Middleware-Based Distributed Systems.
Proceedings of the Software Engineering and Middleware, Third International Workshop, 2002

Expressing Graphical User's Input for Test Specifications.
Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

2001
Enhance Software Reliability by Combining State-Based and Data Flow Testing.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000
On Using Static Analysis in Distributed System Testing.
Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

A study on static analysis in network of synchronizing FSMs.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
On Verifying Distributed Multithreaded Java Programs.
Software Quality Journal, 1999

An Experimental Study of User Interface in a Data Management System.
Proceedings of the Human-Computer Interaction: Ergonomics and User Interfaces, 1999


  Loading...