( en | de | ru )

 

Disambiguation of "Schulte, Wolfram"

Author of the publication

copydeleteadd this publication to your clipboard
Automating Software Testing Using Program Analysis

, , , , , , and . IEEE Software, 25 (5): 30-37 (2008)
DOI: 10.1109/MS.2008.109

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

Wolfram Schulte

 

Other publications of authors with the same name

SPUR: A Trace-based JIT Compiler for CIL, , , , , , and . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 708--725. ACM, (2010)Guest editorial for the special section on MODELS 2014., and . Softw. Syst. Model., 17 (1): 9-10 (2018)Automating Software Testing Using Program Analysis, , , , , , and . IEEE Software, 25 (5): 30-37 (2008)Spying on Components: A Runtime Verification Technique, and . Proc. of the Workshop on Specification and Verification of Component- Based Systems OOPSLA 2001, (2001)Generating finite state machines from abstract state machines, , , and . ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, page 112--122. New York, NY, USA, ACM Press, (2002)Automatic parallelization of programming languages: past, present and future., and . IWMSE@ICSE, page 1. ACM, (2010)A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs., , , and . TV@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 23-47. Elsevier, (2006)Model-Based Software Testing and Analysis with C\#, , , and . Cambridge University Press, 1 edition, (2007)From dependable multi-user to dependable multi-application operating systems: invited talk.. SecuCode@CCS, page 1-2. ACM, (2009)VC generation for functional behavior and non-interference of iterators., , and . SAVCBS@FSE, page 67-70. ACM, (2006)