Checking automatically the output of concurrent threads

ITiCSE 2007: 12th Annual Conference on Innovation and Technology in Computer Science Education - Inclusive Education in Computer Science

Volumn , Issue , 2007, Pages 43-47

  Oechsle, Rainer ^a   Barzen, Kay ^a  

^a TRIER UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

Automatic software assessment; Causal relationship; Semaphores; Vector timestamps; Visualization

Indexed keywords

ERROR ANALYSIS; GRAPH THEORY; STUDENTS; SYNCHRONIZATION; VECTORS;

AUTOMATIC SOFTWARE ASSESSMENT; CAUSAL RELATIONSHIP; SEMAPHORES; VECTOR TIMESTAMPS;

CONCURRENCY CONTROL;

EID: 34548078612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1268784.1268799     Document Type: Conference Paper

References (12)

1. Luck, M., Joy, M. A Secure On-line Submission System. Software Practice and Experience, Vol. 29, No. 8, 1999.
2. Krinke, J., Störzer, M., Zeller, A. Web-basierte Programmierpraktika mit Praktomat (in German). Softwaretechnik-Trends, Vol. 22, No. 3, 2002.
3. Spacco, J., Hovemeyer, D., Pugh, W., Hollingsworth, J., Padua-Perez, N., and Emad, F. Experiences with Marmoset: Designing and Using an Advanced Submission and Testing System for Programming Courses. ITiCSE '06: Proceedings of the 11th Annual Conference on Innovation and Technology in Computer Science Education, 2006.
4. Amelung, M., Piotrowski, M., Rösner, D. EduComponents: Experiences in E-Assessment in Computer Science Education. ITiCSE '06: Proceedings of the 11th Annual Conference on Innovation and Technology in Computer Science Education, 2006.
5. Checkstyle, http://checkstyle.sourceforge.net/
6. FindBugs, http://findbugs.sourceforge.net/
7. Abbot, http://sourceforge.net/projects/abbot/
8. Lamport, L. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, Vol. 21, No. 7, 1978.
9. Mattern, F. Virtual Time and Global States in Distributed Systems, Proceedings of the Workshop on Parallel and Distributed Algorithms, 1989.
10. Fidge, C. Logical Time in Distributed Computing Systems. IEEE Computer, Vol. 24, No. 8, 1991.
11. Draw2D, http://www.eclipse.org/gef/
12. Barzen, K. Visualizations and Automatic Correctness Checks for the Output of Concurrent Threads, Bachelor Thesis (in German), University of Applied Sciences, Trier, January 2007.