Jessica Chen

Chris Buttimer

Joshua Littenberg-Tobias

Abdi Ali

Justin Reich

Proceedings of the Persuasive Technology - 17th International Conference, 2022

SleepQA: A Health Coaching Dataset on Sleep for Extractive Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning for Health, 2022

2021

Benchmark of Bitrate Adaptation in Video Streaming.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2021

Generating Contextually Coherent Responses by Learning Structured Vectorized Semantics.

[BibT_eX]

[DOI]

Proceedings of the Database Systems for Advanced Applications, 2021

2020

Artificial Intelligence Assisted Virtual Reality Warfighter Training System.

[BibT_eX]

[DOI]

Aaron Gluck

Ratnadeep Paul

Proceedings of the IEEE International Conference on Artificial Intelligence and Virtual Reality, 2020

2019

Improving Adaptive Video Streaming through Session Classification.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2019

Leveraging Social Media for Work Value: Social and Work Affordances.

[BibT_eX]

[DOI]

Proceedings of the 23rd Pacific Asia Conference on Information Systems, 2019

2018

Oboe: auto-tuning video ABR algorithms to network conditions.

[BibT_eX]

[DOI]

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Understanding Video Management Planes.

[BibT_eX]

[DOI]

Proceedings of the Internet Measurement Conference 2018, 2018

2017

Crawling ranked deep Web data sources.

[BibT_eX]

[DOI]

World Wide Web, 2017

2015

Intersections of Cycles in k-Connected Graphs.

[BibT_eX]

[DOI]

Le Chen

Derrick Liu

Graphs Comb., 2015

2014

TS-IDS Algorithm for Query Selection in the Deep Web Crawling.

[BibT_eX]

[DOI]

Yan Wang

Jianguo Lu

Proceedings of the Web Technologies and Applications - 16th Asia-Pacific Web Conference, 2014

2012

Selecting queries from sample to crawl deep web data sources.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2012

2009

Exploring alternatives for transition verification.

[BibT_eX]

[DOI]

J. Syst. Softw., 2009

Web Traversal with a History Stack.

[BibT_eX]

[DOI]

Samaneh Navabpour

Proceedings of the Ninth International Conference on Quality Software, 2009

Crawling Deep Web Using a New Set Covering Algorithm.

[BibT_eX]

[DOI]

Yan Wang

Jianguo Lu

Proceedings of the Advanced Data Mining and Applications, 5th International Conference, 2009

2008

Error-preserving reductions on communication protocols.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

An Approach to Deep Web Crawling by Sampling.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

An Approach to Testing with Embedded Context Using Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

Testing in the Distributed Test Architecture.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Testing, 2008

2007

DOS Middleware Instrumentation for Ensuring Reproducibility of Testing Procedures.

[BibT_eX]

[DOI]

Hanmei Cui

IEEE Trans. Instrum. Meas., 2007

Alternative B-Sequences.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

On Formal MOM Modeling.

[BibT_eX]

[DOI]

Hanmei Cui

Proceedings of the Parallel and Distributed Processing and Applications, 2007

Reducing Test Sequence Length Using Invertible Sequences.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

Enhanced Traverse of Web Pages.

[BibT_eX]

[DOI]

Yan Wang

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

A Formal Approach to Website Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2006

Overcoming observability problems in distributed test architectures.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2006

Improving Coverage in Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Optimal Synchronizable Test Sequence from Test Segments.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Detecting Observability Problems in Distributed Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Conditions for Avoiding Controllability Problems in Distributed Testing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2005

A Dynamic Workflow Approach for the Integration of Bioinformatics Services.

[BibT_eX]

[DOI]

Clust. Comput., 2005

Eliminating Redundant Tests in a Checking Sequence.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

Resolving Observability Problems in Distributed Test Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Translation from Adapted UML to Promela for CORBA-Based Applications.

[BibT_eX]

[DOI]

Hanmei Cui

Proceedings of the Model Checking Software, 2004

Formal Models for Web Navigations with Session Control and Browser Cache.

[BibT_eX]

[DOI]

Xiaoshan Zhao

Proceedings of the Formal Methods and Software Engineering, 2004

Conditions for Resolving Observability Problems in Distributed Testing.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

SIBIOS: A System for the Integration of Bioinformatics Services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004

2003

Constructing a Reproducible Testing Environment for Distributed Java Applications.

[BibT_eX]

[DOI]

Kun Wang

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Using Formal Methods to Serialize Synchronization Events.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2003

Experiment on Embedding Interception Service into Java RMI.

[BibT_eX]

[DOI]

Kun Wang

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002

Specification-based Testing for Gui-based Applications.

[BibT_eX]

[DOI]

Suganthan Subramaniam

Softw. Qual. J., 2002

Towards Specification-based Web Testing.

[BibT_eX]

[DOI]

Steve Chovanec

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Formal Modelling of Java GUI Event Handling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

Building Test Constraints for Testing Middleware-Based Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Middleware, Third International Workshop, 2002

Expressing Graphical User's Input for Test Specifications.

[BibT_eX]

[DOI]

Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

2001

Enhance Software Reliability by Combining State-Based and Data Flow Testing.

[BibT_eX]

Alice Yang

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java.

[BibT_eX]

[DOI]

Suganthan Subramaniam

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

On Using Static Analysis in Distributed System Testing.

[BibT_eX]

[DOI]

Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

A study on static analysis in network of synchronizing FSMs.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999

On Verifying Distributed Multithreaded Java Programs.

[BibT_eX]

[DOI]

Softw. Qual. J., 1999

An Experimental Study of User Interface in a Data Management System.

[BibT_eX]