A state-of-practice questionnaire on verification and validation for concurrent programs

Proceeding of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD '06

Volumn 2006, Issue , 2006, Pages 1-10

  Wojcicki, Margaret A ^a   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Concurrency; Survey; Verification and validation technologies

Indexed keywords

CONCURRENCY CONTROL; INFORMATION ANALYSIS; RESEARCH AND DEVELOPMENT MANAGEMENT; SURVEYS;

CONCURRENT PROGRAMS; QUESTIONS; VALIDATION TECHNOLOGIES;

CONCURRENT ENGINEERING;

EID: 34247494280     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1147403.1147405     Document Type: Conference Paper

References (40)

1. Concurrency Interest Mailing List, Available online at: http://altair.cs.oswego.edu/mailman/listinfo/concurrency-interest.
2. developerWorks : Java technology : Forums : Multithreaded Java programming, Available online at: http://www-128.ibm.com/developerworks/forums/ dw_forum.jsp?forum=176&cat=10
3. FindBugs™ - Find Bugs in Java Programs, Available online at: http://findbugs.sourceforge.net/.
4. JUnit, Testing Resources for Extreme Programming, Available online at: http://www.junit.org/index.htm.
5. Macker, Available online at: http://innig.net/macker/.
6. PMD, Available online at: http://pmd.sourceforge.net/.
7. The SMV System, Available online at: http://www.cs.cmu.edu/~modelcheck/ smv.html.
8. Spin - Formal Verification, Available online at: http://spinroot.com/ spin/whatispin.html.
9. Andersson, C. and Runeson, P., Verification and Validation in Industry - A Qualitative Survey on the State of Practice. In Proceedings of the 2002 International Symposium on Empirical Software Engineering, (2002), 37-47.
10. Bell Laboratories and Lucent Technologies. VeriSoft, Available online at: http://cm.bell-labs.com/who/god/verisoft/.
11. Burn, O. Checkstyle, Available online at: http://checkstyle.sourceforge. net/.
12. Cenqua. Cenqua Clover Code Coverage for Java, Available online at: http://www.cenqua.com/clover/.
13. Conradi, R., Li, J., Slyngstad, O.P.N., Kampenes, V.B., Bunse, C., Morisio, M. and Torchiano, M., Reflections on Conducting an International Survey of Software Engineering. In Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE'05), (2005), 214-223.
14. Daly, J., Miller, J., Brooks, A., Roper, M. and Wood, M., A Survey of Experiences amongst Object-Oriented Practitioners. In Proceedings of the 1995 Asia Pacific Software Engineering Conference (APSEC'95), (1995), 137-146.
15. Eytani, Y., Havelund, K., Stoller, S.D. and Ur, S. Toward a Framework and Benchmark for Testing Tools for MultiThreaded Programs. To appear in Concurrency and Computation: Practice and Experience (2006).
16. Fink, A. The Survey Handbook. Sage Publications, 2003.
17. Foster, J.S., Position Paper: A Call for a Public Bug and Tool Registry. In 2005 SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, (2005), 70.
18. Fowler, F.J. Survey Research Methods. Sage Publications, 2002.
19. Geras, A.M., Smith, M.R. and Miller, J. A survey of software testing practices in Alberta. Canadian Journal of Electrical and Computer Engineering, 29, 3 (2004), 183-191.
20. Groves, L., Nickson, R., Reeve, G., Reeves, S. and Utting, M., A Survey of Software Development Practices in the New Zealand Software Industry. In Proceedings of the 2000 Australian Software Engineering Conference (ASWEC'00), (2000), 189-201.
21. Havelund, K. and Pressburger, T. Model Checking Java Programs using Java Pathfinder. International Journal of Software Tools for Technology Transfer (STTT), 2,4 (2000), 366-381.
22. Kitchenham, B. and Pfleeger, S.L. Principles of Survey Research: Part 2: Designing a Survey. ACM SIGSOFT Software Engineering Notes, 27, 1 (2002), 18-20.
23. Lea, D. The java.util.concurrent synchronizer framework. Science of Computer Programming, 58 (2005), 293-309.
24. Lethbridge, T.C., Sim, S.E. and Singer, J. Studying Software Engineers: Data Collection Techniques for Software Field Studies. Empirical Software Engineering, 10 (2005), 311-341.
25. Long, B., Strooper, P. and Wildman, L. A Method for Verifying Concurrent Java Components. To appear in Concurrency and Computation: Practice and Experience (2006).
26. Microsoft Research. Zing, Available online at: http://research.microsoft. com/zing/.
27. Ng, S.P., Murnan, T., Reed, K., Grant, D. and Chen, T.Y., A Preliminary Survey on Software Testing Practices in Australia. In Proceedings of the 2004 Australian Software Engineering Conference (ASWEC'04), (2004), 116-125.
28. OpenQA. Selenium, Available online at: http://www.openqa.org/selenium/.
29. Punter, T., Ciolkowski, M., Freimut, B. and John, I., Conducting On-line Surveys in Software Engineering. In Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE'03), (2003), 80-88.
30. Quality Aussurance Institute, Q.A.I. Status of software testing, Available online at: http://www.qaiusa.com/bill-perry-downland/ word%20download%20files/Test%20Survey.doc, 2002.
31. Roubtsov, V. EMMA: a free Java code coverage tool, Available online at: http://emma.sourceforge.net/.
32. SAT Research Group at Princeton University. ZChaff, Available online at: http://www.princeton.edu/~chaff/zchaff.html.
33. Software Testing Institue, S.T.I. 2002 Software Testing Institute survey, Available online at: http://www.softwaretestinginstitute.com/ 2002IndustrySurveyResults/STI2002IndustrySurveyResults_frame.htm, 2002.
34. Sommerville, I. Software Engineering. In, Addison-Wesley, 2004, 419-439.
35. Spacco, J., Hovemeyer, D. and Pugh, W., Bug Specimens are Important. In 2005 SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, (2005), 71-72.
36. Stonybrook State University of New York. Concurrency Factory, Available online at: http://www.cs.sunysb.edu/~concurr/.
37. Torkar, R. and Mankefors, S., A Survey on Testing and Reuse. In Proceedings of the IEEE International Conference on Software - Science, Technology & Engineering (SwSTE'03), (2003), 164-173.
38. Ur, S. and Eytani, Y., Compiling a Benchmark of Documented Multi-threaded Bugs. In Proceedings of the 2nd International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), (2004).
39. Vegas, S. and Basili, V. A Characterization Schema for Software Testing Techniques. Empirical Software Engineering, 10 (2005), 437-466.
40. Vegas, S., Juriste, N. and Basili, V. A Process for Identifying Relevant Information for a Repository: A Case Study for Testing Techniques. In Aurum, A., Jeffery, R., Wohlin, C. and Handzic, M. eds. Managing Software Engineering Knowledge, Springer-Verlag, 2003,199-230.