DT 8025 2016 - Paper Presentation Groups

Date and Time	Group	Paper
Oct. 18, 13:00-13:15	Boris Brankovic Muhammad Daud Yassin Atwa Wouter Dankers	D. Janzen and H. Saiedian. Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005.
Oct. 18, 13:15-13:30	Alexander Galozy Dirar Sweidan Daniel Dahlberg Can Yang	G.R. Andrews and F.B. Schneider. Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983. (Sections 1--3)
Oct. 18, 13:30-13:45	Kun Luo Sandeep Singh	John Hughes. Software Testing with QuickCheck. In Poc. of CEFP 2009, vol. 6299 of LNCS, pp. 183-223, 2009.
Oct. 18, 13:45-14:00	Mohammad Mirian Mehdi Mohammad Nezhad Mehdi Sagar Mahamud Jusuf Jamac	W. Taha, V. Gaspes, and R. Page. Accurate Programming: Thinking about programs in terms of properties, Proc. of DSL'11, vol. 66 of EPTCS, pp. 236-260, 2011.
Oct. 18, 14:00-14:15	Break
Oct. 18, 14:15-14:30	Monica Jayadevappa Meera Suhas Srinivasapur Amaranath Ashutoshkumar Rameshkumar Mewada Karthik Kiran Raghuram	S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, T. Anderson. Eraser: a dynamic data race detector for multi-threaded programs, ACM Transactions on Computer Systems 15(4), 1997.
Oct. 18, 14:30-14:45	Abhilash Padi Siva Sanjana Arunesh Ravi Raja Nunna Gajula Karthik Veeraghandam	L. Sha, R. Rajkumar, and J.P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers 39 (9): 1175–1185, 1990.
Oct. 18, 14:45-15:00	Dhanesh Jayachandran Job Maya Victor Vincent Prasanth Sasikumar	H. Chetto, M. Silly, and T. Bouchentouf. Dynamic Scheduling of Real-Time Tasks under Precedence Constraint, Journal of Real-Time Systems (2), 181-194, 1990.