BibTeX records: Dongjiang You

• > Home > Persons > Dongjiang You

@inproceedings{DBLP:conf/issre/YouRWHG15,
  author       = {Dongjiang You and
                  Sanjai Rayadurgam and
                  Michael W. Whalen and
                  Mats Per Erik Heimdahl and
                  Gregory Gay},
  title        = {Efficient observability-based test generation by dynamic symbolic
                  execution},
  booktitle    = {26th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  pages        = {228--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISSRE.2015.7381816},
  doi          = {10.1109/ISSRE.2015.7381816},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/YouRWHG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/YouRHKKS15,
  author       = {Dongjiang You and
                  Sanjai Rayadurgam and
                  Mats Per Erik Heimdahl and
                  John Komp and
                  BaekGyu Kim and
                  Oleg Sokolsky},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Executing Model-Based Tests on Platform-Specific Implementations {(T)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {418--428},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.64},
  doi          = {10.1109/ASE.2015.64},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/YouRHKKS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/MurugesanWRTPHY15,
  author       = {Anitha Murugesan and
                  Michael W. Whalen and
                  Neha Rungta and
                  Oksana Tkachuk and
                  Suzette Person and
                  Mats Per Erik Heimdahl and
                  Dongjiang You},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Are We There Yet? Determining the Adequacy of Formalized Requirements
                  and Test Suites},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {279--294},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_20},
  doi          = {10.1007/978-3-319-17524-9\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MurugesanWRTPHY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/YouAHR14,
  author       = {Dongjiang You and
                  Isaac Amundson and
                  Scott Hareland and
                  Sanjai Rayadurgam},
  editor       = {Anil R. Nair and
                  Herbert Pr{\"{a}}hofer and
                  Alois Zoitl and
                  Raoul Jetley and
                  Alpana Dubey and
                  Atul Kumar},
  title        = {Practical aspects of building a constrained random test framework
                  for safety-critical embedded systems},
  booktitle    = {1st International Workshop on Modern Software Engineering Methods
                  for Industrial Automation, MoSEMInA 2014, Hyderabad, India, May 31,
                  2014},
  pages        = {17--25},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593783.2593791},
  doi          = {10.1145/2593783.2593791},
  timestamp    = {Sun, 18 Dec 2022 19:02:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/YouAHR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/WhalenGYHS13,
  author       = {Michael W. Whalen and
                  Gregory Gay and
                  Dongjiang You and
                  Mats Per Erik Heimdahl and
                  Matt Staats},
  editor       = {David Notkin and
                  Betty H. C. Cheng and
                  Klaus Pohl},
  title        = {Observable modified Condition/Decision coverage},
  booktitle    = {35th International Conference on Software Engineering, {ICSE} '13,
                  San Francisco, CA, USA, May 18-26, 2013},
  pages        = {102--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSE.2013.6606556},
  doi          = {10.1109/ICSE.2013.6606556},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/WhalenGYHS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/enase/ZhangYCZX11,
  author       = {Zhiyi Zhang and
                  Dongjiang You and
                  Zhenyu Chen and
                  Yuming Zhou and
                  Baowen Xu},
  editor       = {He Zhang and
                  Ye Yang and
                  Reidar Conradi},
  title        = {Mutation Selection: Some Could be Better than All},
  booktitle    = {{EAST} 2011 - Proceeding of the 1st International Workshop on Evidential
                  Assessment of Software Technologies, In conjunction with {ENASE} 2011,
                  Beijing, China, June 2011},
  pages        = {10--17},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Tue, 15 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/enase/ZhangYCZX11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/YouCXLZ11,
  author       = {Dongjiang You and
                  Zhenyu Chen and
                  Baowen Xu and
                  Bin Luo and
                  Chen Zhang},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {An empirical study on the effectiveness of time-aware test case prioritization
                  techniques},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {1451--1456},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982497},
  doi          = {10.1145/1982185.1982497},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/YouCXLZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qsic/LiBCYH10,
  author       = {Sihan Li and
                  Naiwen Bian and
                  Zhenyu Chen and
                  Dongjiang You and
                  Yuchen He},
  editor       = {Ji Wang and
                  W. K. Chan and
                  Fei{-}Ching Kuo},
  title        = {A Simulation Study on Some Search Algorithms for Regression Test Case
                  Prioritization},
  booktitle    = {Proceedings of the 10th International Conference on Quality Software,
                  {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010},
  pages        = {72--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QSIC.2010.15},
  doi          = {10.1109/QSIC.2010.15},
  timestamp    = {Mon, 19 Aug 2024 08:29:06 +0200},
  biburl       = {https://dblp.org/rec/conf/qsic/LiBCYH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}