Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006
    URL: http://doi.acm.org/10.1145/1146238
    DBLP: db/conf/issta/issta2006.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 23  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker.
    Looking for bugs in all the right places.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst.
    Dynamic inference of abstract types.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia.
    From daikon to agitator: lessons and challenges in building a commercial tool for developer testing.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Dick Hamlet.
    Subdomain testing of units and systems with state.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia.
    Role-Based access control consistency validation.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke.
    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Christoph Csallner, Yannis Smaragdakis.
    DSD-Crasher: a hybrid analysis tool for bug finding.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard.
    Inference and enforcement of data structure consistency specifications.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson.
    Modular verification of code with SAT.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Conference paper
    Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen.
    Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects.
    Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 2006 (0) 2006
    Show item 1 to 10 of 23  

    Your query returned 23 matches in the database.