Specification-based Testing

2022

1. IEEE Access

   Parallel Specification-Based Testing for Concurrent Programs

   Canh Minh Do, and Kazuhiro Ogata

   IEEE Access, Sep 2022

   DOI Bib

   @article{Canh1Access22,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {Parallel Specification-Based Testing for Concurrent Programs},
     journal = {{IEEE} Access},
     volume = {10},
     pages = {24955--24975},
     year = {2022},
     timestamp = {Fri, 01 Apr 2022 11:23:26 +0200},
     biburl = {https://dblp.org/rec/journals/access/DoO22.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2020

1. APSEC

   A divide & conquer approach to testing concurrent programs with JPF\(^\mbox*\)

   Canh Minh Do, and Kazuhiro Ogata

   In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Sep 2020

   DOI Bib

   @inproceedings{CanhApsec20,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {A divide {\&} conquer approach to testing concurrent programs
                       with JPF\({}^{\mbox{*}}\)},
     booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020},
     pages = {356--364},
     publisher = {{IEEE}},
     year = {2020},
     timestamp = {Thu, 14 Oct 2021 09:48:17 +0200},
     biburl = {https://dblp.org/rec/conf/apsec/Do020.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2. QRS-C

   Parallel stratified random testing for concurrent programs

   Canh Minh Do, and Kazuhiro Ogata

   In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Sep 2020

   DOI Bib

   @inproceedings{CanhQrsc20,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     title = {Parallel stratified random testing for concurrent programs},
     booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
                       and Security Companion, {QRS} Companion 2020},
     pages = {79--86},
     publisher = {{IEEE}},
     year = {2020},
     timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
     biburl = {https://dblp.org/rec/conf/qrs/Do020.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2019

1. SEKE

   Specification-based Testing with Simulation Relations (S)

   Canh Minh Do, and Kazuhiro Ogata

   In 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Sep 2019

   DOI Bib

   @inproceedings{CanhSeke19,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     editor = {Perkusich, Angelo},
     title = {Specification-based Testing with Simulation Relations {(S)}},
     booktitle = {31st International Conference on Software Engineering and Knowledge
                       Engineering, {SEKE} 2019},
     pages = {107--146},
     publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
     year = {2019},
     timestamp = {Thu, 14 Oct 2021 09:51:52 +0200},
     biburl = {https://dblp.org/rec/conf/seke/DoO19.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

2. SOFL+MSVL

   A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

   Canh Minh Do, and Kazuhiro Ogata

   In Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Sep 2019

   DOI Bib

   @inproceedings{CanhSofl19,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     editor = {Miao, Huaikou and Tian, Cong and Liu, Shaoying and Duan, Zhenhua},
     title = {A Divide {\&} Conquer Approach to Testing Concurrent Java Programs
                       with {JPF} and Maude},
     booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
                       Workshop, {SOFL+MSVL} 2019},
     series = {Lecture Notes in Computer Science},
     volume = {12028},
     pages = {42--58},
     publisher = {Springer},
     year = {2019},
     timestamp = {Thu, 14 Oct 2021 09:56:43 +0200},
     biburl = {https://dblp.org/rec/conf/sofl/DoO19.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }