BibSonomy :: author  :: Dwyer ::

bookmarks

publications

(268)

• Monitoring deployed software using software tomography.
  James F. Bowring and Alessandro Orso and Mary Jean Harrold PASTE 2-9 (2002)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• Adapting side effects analysis for modular program model checking.
  Oksana Tkachuk and Matthew B. Dwyer ESEC / SIGSOFT FSE 188-197 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• Bogor: an extensible and highly-modular software model checking framework.
  Robby and Matthew B. Dwyer and John Hatcliff ESEC / SIGSOFT FSE 267-276 (2003)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX  
• Supporting model checking education using BOGOR/Eclipse.
  Matthew B. Dwyer and John Hatcliff and Matthew Hoosier ETX 88-92 (2004)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• Sequential Partition Detectors with Dependent Sampling.
  Roger F. Dwyer and Ludwik Kurz Cybernetics and Systems 10 211-232 (1980)
  to dblp by dblp on 2008-02-13 00:00:00
  | URL | BibTeX  
• Constrained Stress Majorization Using Diagonally Scaled Gradient Projection.
  Tim Dwyer and Kim Marriott Graph Drawing 219-230 (2007)
  to dblp by dblp on 2008-02-12 00:00:00
  | URL | BibTeX  
• Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
  Matthew B. Dwyer and Rahul Purandare ASE 124-133 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Reducing irrelevant trace variations.
  Madeline Diep and Sebastian G. Elbaum and Matthew B. Dwyer ASE 477-480 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• Agent-based reduction of information density (ARID) demonstration.
  Stephen O'Hara and Nathan Dwyer AAMAS 266 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• Understanding Development and Usage of Social Networking Sites: The Social Software Performance Model.
  Catherine Dwyer and Starr Roxanne Hiltz and George Widmeyer HICSS 292 (2008)
  to dblp by dblp on 2008-02-01 00:00:00
  | URL | BibTeX