BibTeX records: Phung H. Nguyen

• > Home > Persons > Phung H. Nguyen

@inproceedings{DBLP:conf/icsoft/LeQHN11,
  author       = {Anh D. Le and
                  Tho T. Quan and
                  Nguyen T. Huynh and
                  Phung H. Nguyen},
  editor       = {Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
                  Boris Shishkov and
                  Jos{\'{e}} Cordeiro},
  title        = {CTG\({}^{\mbox{E}}\): An Effective Constraint-based Test-case Generation
                  Algorithm for Detecting Regression Bugs in Evolving Programs},
  booktitle    = {{ICSOFT} 2011 - Proceedings of the 6th International Conference on
                  Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July,
                  2011},
  pages        = {36--43},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Wed, 28 Sep 2011 18:25:28 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/LeQHN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/LeQHNL11,
  author       = {Anh D. Le and
                  Tho T. Quan and
                  Nguyen T. Huynh and
                  Phung H. Nguyen and
                  Nhat{-}Van Le},
  editor       = {Mar{\'{\i}}a Jos{\'{e}} Escalona and
                  Jos{\'{e}} Cordeiro and
                  Boris Shishkov},
  title        = {Combined Constraint-Based Analysis for Efficient Software Regression
                  Detection in Evolving Programs},
  booktitle    = {Software and Data Technologies - 6th International Conference, {ICSOFT}
                  2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {303},
  pages        = {108--120},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-36177-7\_7},
  doi          = {10.1007/978-3-642-36177-7\_7},
  timestamp    = {Fri, 02 Nov 2018 09:45:22 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/LeQHNL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/NguyenQNB10,
  author       = {An N. Nguyen and
                  Tho T. Quan and
                  Phung H. Nguyen and
                  Thang H. Bui},
  editor       = {Ahmed Bouajjani and
                  Wei{-}Ngan Chin},
  title        = {{COMBINE:} {A} Tool on Combined Formal Methods for Bindingly Verification},
  booktitle    = {Automated Technology for Verification and Analysis - 8th International
                  Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6252},
  pages        = {387--395},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15643-4\_32},
  doi          = {10.1007/978-3-642-15643-4\_32},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/NguyenQNB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ssiri/QuanHNNTNBDHDHNNN10,
  author       = {Tho T. Quan and
                  Duc L. N. Hoang and
                  B. Tam T. Nguyen and
                  An N. Nguyen and
                  Quan D. Tran and
                  Phung H. Nguyen and
                  Thang H. Bui and
                  Anh T. Do and
                  Linh V. Huynh and
                  Nam T. Doan and
                  Nguyen T. Huynh and
                  Thien D. Nguyen and
                  Binh T. T. Nguyen and
                  Vu H. Nguyen},
  title        = {{MAFSE:} {A} Model-Based Framework for Software Verification},
  booktitle    = {Fourth International Conference on Secure Software Integration and
                  Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
                  - Companion Volume},
  pages        = {150--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SSIRI-C.2010.36},
  doi          = {10.1109/SSIRI-C.2010.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/QuanHNNTNBDHDHNNN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}