Study group: formal approaches to software test

The selection of papers and topics develops dynamically.

Schedule

• Schedule:
• Mon Nov 18 at 15h in room 2.31 (NB: change of time): Kåre presents: Klaus Havelund and Grigore Rosu: Monitoring Java Programs with Java PathExplorer. From RV'01, paper 07. See also Java PathExplorer homepage.
• Fri Nov 29 at 14h in room 2.03: Kåre continues his presentation, and Maibritt and Christian present: Jass - Java with Assertions Detlef Bartetzko, Clemens Fischer, Michael Möller and Heike Wehrheim. From RV'01, paper 01. See also Jass homepage.
• Fri Dec 6 at 14h in room 2.31: Peter presents: Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky and Mahesh Viswanathan: Java-MaC, a Run-time Assurance Tool for Java Programs. From RV'01, paper 08.
• Mon 16 Dec at 10h in room 2.55: Andrzej presents P. Raymond and D. Weber and X. Nicollin and N. Halbwachs: Automatic Testing of Reactive Systems. 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998. Paper
• NB: Paper correction: Fri 3 Jan 2003 at 14h in room 2.55: Jens Christian presents Scott Stoller: Testing Concurrent Java Programs using Randomized Scheduling. The paper can be found here, and here's the Java checker homepage.
• Mon 20 Jan 2003 at 11h in room 2.55: Peter presents K. Claessen and J. Hughes: QuickCheck: A lightweight tool for random testing of Haskell programs. QuickCheck homepage with link to the ICFP 2000 paper. QuickCheck was the subject of a Funtechs talk at IT-C on November 23, 2000.
• Fri 7 Feb 2003 at 11.00 in 2.31: Thomas H presents Brat, Havelund, Park, Visser: Model Checking Programs. Paper number 7 on Willem Visser's homepage.
• Fri 14 Feb 2003 at 11.00 in 1.05: Andrzej presents R.A. DeMillo and A. Jefferson Offutt: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17, 9 (September 1991) 900-910. Andrzej has found an electronic version of the paper, accessible from within the IT-C. The URL is rather remarkable: http://search.ieeexplore.ieee.org/search97/s97is.vts?action=View&VdkVgwKey=92910&DocOffset=22&DocsFound=26&QueryZip=%28Offutt++A%2E+J%2E%3CIN%3Eau+%29&SortField=pyr&SortOrder=desc&ViewTemplate=lpdocview%2Ehts&SearchUrl=http%3A%2F%2Fsearch%2Eieeexplore%2Eieee%2Eorg%2Fsearch97%2Fs97is%2Evts%3Faction%3DSearch%26QueryZip%3D%2528Offutt%2B%2BA%252E%2BJ%252E%253CIN%253Eau%2B%2529%26Filter%3Dfld%255Fsch%252Ehts%26ResultTemplate%3Dlpadv%255Fcrst%252Ehts%26QueryText%3D%2528Offutt%2B%2BA%252E%2BJ%252E%253CIN%253Eau%2B%2529%26SortField%3Dpyr%26SortOrder%3Ddesc%26ViewTemplate%3Dlpdocview%252Ehts%26ResultStart%3D16%26ResultCount%3D15&&hitspage=%28Offutt++A%2E+J%2E%3CIN%3Eau+%29&isNumber=3044&CollPer=&CollCnf=&CollStd=&sortfield=pyr&sortorder=desc&prod=IEEE+JRN&arnumber=92910&arSt=900&ared=910&arAuthor=DeMilli%2C+R.A.%3B+Offutt%2C+A.J.%3B
• Mon 24 Feb at 11h in 4.32: Kaare presents Agrawal, Horgan, Krauser, London: Incremental Regression Testing, 1993. Paper at CiteSeer.
• Fri 28 Mar at 10h in 2.31: Kaare finishes the presentation of the incremental regression testing paper (10 minutes). Then Peter presents static slicing from Frank Tip: A Survey of Program Slicing Techniques, Journal of programming languages 1995. Paper at CiteSeer.
• Thu 10 Apr at 14h in 2.31: Andrzej continues the presentation of the Tip survey.
• Thu 24 Apr at 11h in 2.03: Jens Christian presents J.C. Godskesen: Two algorithms for generating tests for embedded systems. ISCIS'99, Kusadasi 1999. Paper in Postscript.
• Fri 2 May at 10.30 in 4.32: Andrzej presents Kim, Hong, Cho, Bae and Cha. Test Cases Generation from UML State Diagrams. 1999. Paper at citeseer
• Possible papers:
• S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T.E. Anderson. Eraser: A dynamic data race detector for multithreaded programming. ACM Transaction on Computer Systems, Vol.15, no. 4, pp. 391-411, 1997.
• K.Bogdanov, M. Holcombe, H. Singh. Automated Test Set Generation for Statecharts. A hardcopy can be ordered here (or cheaper from Andrzej): http://it-c.dtv.dk/cgi-bin/egwcgi/104283/screen.tcl/name=show_record&gattr1=parseOp&v=1&e1=Automated+Test+Set+Generation+for+Statecharts&f1=all&l1=and&xparam1=all&page=2&norec=1&pid=1106273&service=itc&lang=eng
• Li Liuying and Qi Zhichang, Test Selection from UML Statecharts. 31st International Conference on Technology of Object-Oriented Language and Systems. 1999 http://it-c.dtv.dk/cgi-bin/fulltext/iel/iel5/6463/17278/00796494.pdf
• Chow, T.S. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering. Vol.SE-4 Issue.3. 1978. Hard copies can be obtained from: http://it-c.dtv.dk/cgi-bin/egwcgi/104283/screen.tcl/name=show_record&gattr1=parseOp&v=1&e1=&f1=all&l1=and&e2=testing+software+design+modeled&f2=title&l2=and&e3=chow&f3=author&l3=and&xparam1=all&pid=1106283&service=itc&lang=eng (or cheaper from Andrzej when it arrives).
• R.A. DeMillo, R.J. Lipton and F.G. Sayward: Hints on test data selection. Help for the practicing programmer. IEEE Computer, April 1978, 34-41.
• Murat Karaorman and Parker Abercrombie: jContractor, Bytecode instrumentation techniques for implementing design by contract in Java.
• J.C. Godskesen: Two algorithms for generating tests for embedded systems. ISCIS'99, Kusadasi 1999.
• N. Halbwachs and P. Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN'99, Asian Computing Science Conference Phuket (Thailand), December 1999. LNCS 1742, Springer Verlag. Paper
• Lionel Briand, Yvan Labiche: A UML-Based Approach to System Testing. Software and Systems Modeling, volume 1, 1 (2002) 10-42. Journal webpage
• Godefroid, Colby, Jagadeesan: Automatically Closing Open Reactive Programs. Proceedings of 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 345-357, Montreal, June 1998. The paper.