Wolfram Schulte - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing

Guided path exploration for regression test generationKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. ICSE 2009: 311-314 [doi]

Integration and Test Sequencing for Complex SystemsR. Boumen, I. S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 39(1):177-187, 2009. [doi]

Workshop on state-space exploration for automated testing (SSEAT 2008)Darko Marinov, Wolfram Schulte. ISSTA 2008: 315-316 [doi]

Model-Based Testing of Object-Oriented Reactive Systems with Spec ExplorerMargus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson. fortest 2008: 39-76 [doi]

Automating Software Testing Using Program AnalysisPatrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin. IEEE Software, 25(5):30-37, 2008. [doi]

New insights on testing the efficiency of methods of pricing and hedging American optionsFlavio Pressacco, Marcellino Gaudenzi, Antonino Zanette, Laura Ziani. eor, 185(1):235-254, 2008. [doi]

First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008IEEE Computer Society, 2008.

Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ProceedingsKaren Yorav, editor, Volume 4899 of Lecture Notes in Computer Science, Springer, 2008.

Pex - An Intelligent Assistant for Rigorous Developer TestingWolfram Schulte. ICECCS 2007: 161 [doi]

A numerical sufficiency test for the asymptotic stability of linear time-varying systemsPh. Mullhaupt, D. Buccieri, Dominique Bonvin. automatica, 43(4):631-638, 2007. [doi]

Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected PapersEyal Bin, Avi Ziv, Shmuel Ur, editors, Volume 4383 of Lecture Notes in Computer Science, Springer, 2007.

Fair testingArend Rensink, Walter Vogler. iandc, 205(2):125-198, 2007. [doi]

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic ExecutionNikolai Tillmann, Wolfram Schulte. IEEE Software, 23(4):38-47, 2006. [doi]

Challenge problems in software testingWolfram Schulte. soqua 2006: 1 [doi]

Controllable Combinatorial Coverage in Grammar-Based TestingRalf Lämmel, Wolfram Schulte. pts 2006: 19-38 [doi]

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, ProceedingsM. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, editors, Volume 3964 of Lecture Notes in Computer Science, Springer, 2006.

A singular choice for multiple choiceGudmund Skovbjerg Frandsen, Michael I. Schwartzbach. SIGCSE, 38(4):34-38, 2006. [doi]

Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptanceHenrik Brosenne, Matthias Homeister, Stephan Waack. ipl, 98(1):6-10, 2006. [doi]

Computer program TRACK_TEST for calculating parameters and plotting profiles for etch pits in nuclear track materialsD. Nikezic, K. N. Yu. cphysics, 174(2):160-165, 2006. [doi]

Parameterized unit tests with unit meisterNikolai Tillmann, Wolfram Schulte. ESEC/FSE 2005: 241-244 [doi]

Parameterized unit testsNikolai Tillmann, Wolfram Schulte. ESEC/FSE 2005: 253-262 [doi]

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionTao Xie, Darko Marinov, Wolfram Schulte, David Notkin. TACAS 2005: 365-381 [doi]

Model-Based Testing of Cryptographic ProtocolsDean Rosenzweig, Davor Runje, Wolfram Schulte. tgc 2005: 33-60 [doi]

Testing Concurrent Object-Oriented Systems with Spec ExplorerColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. FM 2005: 542-547 [doi]

Online testing with model programsMargus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann. ESEC/FSE 2005: 273-282 [doi]

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic ComputationWolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. ehci 2005: 72-82 [doi]

On Testing Image Processing Applications with Statistical MethodsJohannes Mayer. se 2005: 69-78

Optimal strategies for testing nondeterministic systemsLev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp. ISSTA 2004: 55-64 [doi]

6th International Workshop on Web Site Evolution (WSE 2004) - Testing, 11 September 2004, Chicago, IL, USAIEEE Computer Society, 2004.

Test Oracles Using Statistical MethodsJohannes Mayer, Ralph Guderlei. soqua 2004: 179-189

Validating Use-Cases with the AsmL Test ToolMichael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. qsic 2003: 238-246 [doi]

Towards a Tool Environment for Model-Based Testing with AsmLMichael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. fates 2004: 252-266 [doi]

Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September - 3 October 2003, Charlotte, NC, USAIEEE Computer Society, 2003.

Significance of the failure criterion on transmission line pulse testingBart Keppens, V. De Heyn, M. Natarajan Iyer, Vesselin K. Vassilev, Guido Groeseneken. mr, 42(6):901-907, 2002. [doi]

Testable Use Cases in the Abstract State Machine LanguageWolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann. apaqs 2001: 167-172 [doi]

Interactive Evaluation of the Ostensive Model Using a New Test Collection of Images with Multiple Relevance AssessmentsIain Campbell. ir, 2(1):85-112, 2000.

The Mutating Metric for Benchmarking TestRohit Kapur, Cy Hay, Thomas W. Williams. dt, 17(3):18-21, 2000. [doi]

Multiobjective Evolutionary Algorithm Test SuitesDavid A. van Veldhuizen, Gary B. Lamont. SAC 1999: 351-357 [doi]

GLFSR-a new test pattern generator for built-in-self-testDhiraj K. Pradhan, Mitrajit Chatterjee. tcad, 18(2):238-247, 1999. [doi]

On the Average Sensitivity of Testing Square-Free NumbersAnna Bernasconi, Carsten Damm, Igor Shparlinski. cocoon 1999: 291-299 [doi]

A Heuristic Measure to Maximize Detected Faults per TestKim T. Le, Kewal K. Saluja. et, 13(1):57-60, 1998. [doi]

Sizing and Estimating the Coding and Unit Testing Effort for GUI SystemsR. Lo, Richard Webby, D. Ross Jeffery. metrics 1996: 166-173 [doi]

Applications of Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. forte 1996: 145-160

Analyzing Regression Test Selection TechniquesGregg Rothermel, Mary Jean Harrold. TSE, 22(8):529-551, 1996. [doi]

Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327

Test for intersection between a plane and a connected compact polyhedronChing-Kuang Shene. cad, 26(7):585-588, 1994. [doi]

The Complexity of Finding Replicas Using Equality TestsGudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum. mfcs 1993: 463-472

Exhaustive Test Pattern Generation with Constant Weight VectorsDonald T. Tang, Lin S. Woo. TC, 32(12):1145-1150, 1983.

Proceedings International Test Conference 1981, Philadelphia, PA, USA, October 1981IEEE Computer Society, 1981.

Testing for the Church-Rosser PropertyRonald V. Book, Colm Ó Dúnlaing. TCS, 16:223-229, 1981.

runs on WebDSL