Publications

Papers in refereed journals

• Lihua Duan and Jessica Chen. Error-preserving Reductions on Communications Protocols. Software Testing, Verification and Reliability. Volume 18, Issue 1, pp. 51-68, Wiley InterScience, 2008.

• Jessica Chen and Hanmei Cui. Test Control via DOS Middleware Instrumentation. IEEE Transactions on Instrumentation and Measurement. Volume 56, No. 1, pages 56-62, February 2007.

• Jessica Chen, Robert M. Hierons and Hasan Ural. Overcoming observability problems in distributed test architectures. Information Processing Letters Volume 98, Issue 5, pp. 177-182, Elsevier Science, June 2006.

• J. Chen and S. Subramaniam. Specification-based Testing for GUI-based Applications. Software Quality Journal, Volume 10, No. 3, pp. 205-224, Kluwer Academic Publishers, 2002.

• X.J. Chen and H. Ural. Construction of Deadlock-free Designs of Communication protocols from Observations. The Computer Journal, Volume 45, No. 2, pages 162-173, Oxford University Press, 2002.

• X.J. Chen and R. De Nicola. Algebraic Characterizations of Decorated Trace Equivalences over Tree-like Structures. Theoretical Computer Science, Volume 254, pp. 337-361, Elsevier Science, March 2001.

• X.J. Chen and L. Logrippo. Deriving Use Cases for Distributed Systems from Knowledge Requirements. Annals of Telecommunications 55(1-2), pp. 45-57, Hermes Science Publications, 2000.

• J. Chen.  On Verifying Distributed Multithreaded Java Programs . Software Quality Journal, Volume 8, pp. 321--341, Kluwer Academic Publishers, 1999.

• X.J. Chen and G. De Giacomo. Reasoning about Nondeterministic and Parallel Actions: A Process Algebra Approach. Artificial Intelligence 107(1), pp. 63-98, Elsevier, 1999.

• X.J. Chen and C. Montangero. Compositional Refinements of Multiple Blackboard Systems. Acta Informatica 32, pp. 415-458, Springer-Verlag, 1995.

Book Chapters:

• J. Chen, Robert M. Hierons and Hasan Ural. Testing in the Distributed Test Architecture. Formal Methods and Testing, Lecture Notes in Computer Science Vol.  4949, pages 157-183, Springer Berlin, 2008.

Papers in refereed conference proceedings

• Lihua Duan and Jessica Chen. A Formal Approach to Website Maintenance. Proc. of the 10th IEEE International Symposium on High Assurance System Engineering (HASE 2007), pp. 419-420. IEEE Computer Society Press, 2007.

• Lihua Duan, Yan Wang and Jessica Chen. Enhanced Traverse of Web Pages. Proc. of the 10th IEEE International Symposium on High Assurance System Engineering (HASE 2007), pp. 113-122. IEEE Computer Society Press, 2007.

• Lihua Duan and Jessica Chen. Reducing Test Sequence Length Using Invertible Sequences. Proc. of the International Conference on Formal Engineering Methods (ICFEM 2007). Lecture Notes in Computer Science Vol 4789, pp. 171-190, Springer-Verlag, 2007.

• Lihua Duan and Jessica Chen. Alternative \beta-sequences. Proc. of the 7th IEEE International Conference on Quality Software (QSIC 2007), pp. 127-136. IEEE Computer Society Press, 2007.

• Hanmei Cui and Jessica Chen. On Formal MOM Modeling. Proc. of the 5th International Symposium on Parallel and Distributed Processing and Applications (ISPA 2007). Lecture Notes in Computer Science Vol 4742, pp. 563-576, Springer-Verlag, 2007.

• Jessica Chen and Lihua Duan. Conditions for Avoiding Controllability Problems in Distributed Testing. Proc. of the International Conference on Formal Engineering Methods (ICFEM 2006). Lecture Notes in Computer Science Vol 4260, pp. 460-477, Springer-Verlag, 2006.

• Jessica Chen and Lihua Duan. Optimal Synchronizable Test Sequence from Test Segments. Proc. of the 6th IEEE International Conference on Quality Software (QSIC 2006), pp. 266-273. IEEE Computer Society Press, 2006.

• Jessica Chen, Guy-V. Jourdan, Wenxin Ma and Hasan Ural. Improving Coverage in Functional Testing. Proc. of the 6th IEEE International Conference on Quality Software (QSIC 2006), pp. 99-106. IEEE Computer Society Press, 2006.

• Jessica Chen and Hasan Ural. Detecting Observability Problems in Distributed Testing. Proc. of the 19th IFIP International Conference on Testing of Communicating Systems (TestCom 2006), Lecture Notes in Computer Science 3964, pp. 213-226, 2006.

• J. Chen, R. Hierons and H.Ural. Resolving Observability Problems in Distributed Test Architectures. The 25th International Conference on Formal Techinques in Networked and Distributed Systems (FORTE 2005). Lecture Notes in Computer Science Vol. 3731, pp. 219-232, Springer-Verlag, 2005.

• H. Cui and J. Chen. Test Control via DOS Middleware Instrumentation. Proc. of IEEE Instrumentation and Measurement Technology Conference (IMTC 2005), Volume III, pp. 2344-2348, IEEE Computer Society Press, 2005.

• Jessica Chen, Robert M. Hierons, Hasan Ural and Husnu Yenigun. Eliminating Redundant Tests in a Checking Sequence. Proc. of the 18th IFIP International Conference on Testing of Communicating Systems (TestCom 2005), Lecture Notes in Computer Science 3502, pp. 146-158, 2005.

• J. Chen and X. Zhao. Formal Models for Web Navigations with Session Control and Browser Cache. International Conference on Formal Engineering Methods. Lecture Notes in Computer Science Vol 3308, pp. 46-60, Springer-Verlag, 2004.

• J. Chen, R. Hierons and H.Ural. Conditions for Resolving Observability Problem in Distributed Testing. The 24th International Conference on Formal Techinques in Networked and Distributed Systems (FORTE 2004). Lecture Notes in Computer Science Vol 3235, pp. 229-242, Springer-Verlag, 2004.

• J. Chen and H. Cui. Translation from Adapted UML to Promela for CORBA-based Applications. 11th International SPIN Workshop on Model-Checking of Software. Lecture Notes in Computer Science Vol 2989, pp. 234-251, Springer-Verlag, 2004.

• J. Chen and K. Wang. Experiment on Embedding Interception Service into Java RMI. International Workshop on Scientific Engineering of Distributed Java Applications. Lecture Notes in Computer Science Vol 2952, pp. 48-61, Springer-Verlag, 2004. 

• Chen. Using Formal Methods to Serialize Synchronization Events. The 5th International Conference on Formal Engineering Methods (ICFEM 2003). Lecture Notes in Computer Science Vol 2885, pp. 34-47, Springer-Verlag, 2003.

• J. Chen and K. Wang. Constructing a Reproducible Testing Environment for Distributed Java Applications. Proc. of the 3rd IEEE International Conference on Quality Software, pp. 402-409. IEEE Computer Society Press, 2003.

• J. Chen.  Building Test Constraints for Testing Distributed Systems with Middleware. The 3rd International Workshop in Software Engineering and Middleware (SEM 2002). Lecture Notes in Computer Science Vol 2596, pp. 216-232, Springer-Verlag, 2003.

• J. Chen and S. Chovanec. Towards Specification-based Web Testing . Proc. of Networking 2002: workshop on Web Engineering. Lecture Notes in Computer Science Vol. 2376, pp. 165-171, Springer-Verlag, 2002. 

• J. Chen. Expressing Graphical User's Input for Test Specifications. The First Internaltional Conference on Engineering and Deployment of Cooperative Information Systems (EDCIS 2002). Lecture Notes in Computer Science Vol. 2480, pp. 347-359, Springer-Verlag, 2002.

• J. Chen. Formal Modelling of Java GUI Event Handling. The 4th International Conference on Formal Engineering Methods (ICFEM 2002). Lecture Notes in Computer Science Vol. 2495, pp. 359-370, Springer-Verlag, 2002.

• J. Chen and F. Li. Deriving Formal Specification from FSM with Interprocess Communications. Proc. of the IASTED International Conference on Applied Informatics (AI 2002), pp. 7-12. ACTA Press, 2002.

• J. Chen and S. Subramanian. A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java. Proc. of the 34th IEEE Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society Press, 2001.

• J. Chen. On Using Static Analysis in Distributed System Testing . The 2nd International Workshop on Engineering Distributed Objects (EDO 2000). Lecture Notes in Computer Science Vol. 1999, pp. 145-162, Springer-Verlag, 2000.

• J. Chen. A Study on Static Analysis in Network of Synchronizing FSMs. Proc. of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), pp. 489-493. IEEE Computer Society Press, 2000.

• X. Cai and J. Chen. Control of Nondeterminism in Testing Distributed Multi-threaded Programs. Proc. of the First Asia-Pacific Conference on Quality Software (APAQS 2000), pp. 29-38. IEEE Computer Society Press, 2000.

• J. Chen. On Verifying Distributed Multithreaded Java Programs . Proc. of the 33th IEEE Hawaii International Conference on System Sciences (HICSS-33). IEEE Computer Society Press, 2000.

• X.J. Chen and F. Corradini. On the Specification and Verification of Performance Properties for a Timed Process Algebra. The 6th International Conference on Algebraic Methodology and Software Technology (AMAST’97). Lecture Notes in Computer Science 1349, pp. 123-137, Springer-Verlag, 1997.

• X.J. Chen and R. De Nicola. Algebraic Characterizations of Decorated Trace Equivalences over Tree-like Structures. The 23th International Colloquium on Automata, Languages and Programs (ICALP’96). Lecture Notes in Computer Science 1099, pp. 63--74, Springer-Verlag, 1996.

• G. De Giacomo and X. J. Chen. Reasoning about Nondeterministic and Parallel Actions: A Process Algebra Approach. Proc. of the 13th National Conference on Artificial Intelligence (AAAI’96), pp. 658--663, AAAI-Press/MIT-Press, 1996.

• X.J. Chen, F. Corradini, and R. Gorrieri. A Study on the Specification and Verification of Performance Properties. The 5th International Conference on Algebraic Methodology and Software Technology (AMAST’96). Lecture Notes in Computer Science 1101, pp. 306--320, Springer-Verlag, 1996.

• X.J. Chen. Model Checking ACTL Constrained Processes. Frontiers of Combining Systems. Kluwer’s Applied Logic Series (APLS), pp. 377--389, October 1996.

• X.J. Chen, P. Inverardi, and C. Montangero. ESP-MC: An Experiment in the Use of Verification Tools. Algorithms, Concurrency and Knowledge’95. Lecture Notes in Computer Science 1023, pages 396--410, Springer-Verlag, 1995.