BibSonomy :: author  ::

bookmarks

publications

(142)

• A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications.
  Beata Sarna-Starosta and R. E. Kurt Stirewalt and Laura K. Dillon International Journal of Software Engineering and Knowledge Engineering 17 207-230 (2007)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• A study of student strategies for the corrective maintenance of concurrent software.
  Scott D. Fleming and Eileen Kraemer and R. E. Kurt Stirewalt and Shaohua Xie and Laura K. Dillon ICSE 759-768 (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• An approach to implementing dynamic adaptation in C++.
  Scott D. Fleming and Betty H. C. Cheng and R. E. Kurt Stirewalt and Philip K. McKinley ACM SIGSOFT Software Engineering Notes 30 1-7 (2005)
  to dblp by dblp on 2008-05-08 00:00:00
  | URL | BibTeX  
• Directed test generation using symbolic grammars.
  Rupak Majumdar and Ru-Gang Xu ASE 134-143 (2007)
  to dblp by dblp and 1 other person on 2008-02-07 00:00:00
  | URL | BibTeX  
• Scheduling of conflicting refactorings to promote quality improvement.
  Hui Liu and Ge Li and Zhiyi Ma and Weizhong Shao ASE 489-492 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Tools for model-based security engineering: models vs. code.
  Jan Jürjens and Yijun Yu ASE 545-546 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Towards automatic model synchronization from model transformations.
  Yingfei Xiong and Dongxi Liu and Zhenjiang Hu and Haiyan Zhao and Masato Takeichi and Hong Mei ASE 164-173 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Coevolving programs and unit tests from their specification.
  Andrea Arcuri and Xin Yao ASE 397-400 (2007)
  to dblp by dblp and 1 other person on 2008-02-07 00:00:00
  | URL | BibTeX  
• Efficient unit test case minimization.
  Andreas Leitner and Manuel Oriol and Andreas Zeller and Ilinca Ciupa and Bertrand Meyer ASE 417-420 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Checking threat modeling data flow diagrams for implementation conformance and security.
  Marwan Abi-Antoun and Daniel Wang and Peter Torr ASE 393-396 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX