Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Hungary
1 × Italy
1 × Japan
1 × Singapore
1 × Spain
1 × Switzerland
2 × China
2 × New Zealand
2 × Portugal
2 × The Netherlands
3 × Germany
4 × United Kingdom
7 × USA
Collaborated with:∅ N.Tillmann K.R.M.Leino E.K.Jackson M.Veanes W.Grieskamp N.Bjørner T.Xie T.Mytkowicz B.Jacobs F.Piessens R.Lämmel C.Campbell J.d.Halleux M.Musuvathi M.Christakis D.Leijen S.Burckhardt G.M.Bierman E.Meijer L.Nachmanson T.Vullinghs D.Tuinman E.Cohen M.Moskal S.Tobies D.Balasubramanian G.Karsai J.Smans D.Marinov D.Notkin Y.Gurevich N.Li S.Thummalapenta M.Gligoric C.Prasad D.v.Velzen I.Narasamdya B.Livshits B.Ren G.Agrawal J.R.Larus T.Poutanen M.Barnett M.Bebenita F.Brandner M.Fähndrich F.Logozzo H.Venter M.Barnett C.Kerer C.Szyperski A.Watson
Talks about:test (9) base (6) program (5) generat (5) object (5) model (5) unit (5) use (5) machin (4) state (4)
♂ Person: Wolfram Schulte
DBLP: Schulte:Wolfram
Facilitated 15 volumes:
SCoEdPrBoardPrChPracticalTrackPrCoPrCoSCoPracticalTrackPrCo
EdSCoContributed to:
20142014
2014
2013
20122012
20112011
2010
20102010
2009
200920092008
20072006
2006
200520052005
2005
20052004
2002
2003
2002
2000
2000
1995199420162017Wrote 35 papers:
- ASPLOS-2014-MytkowiczMS #finite #state machine
- Data-parallel finite-state machines (TM, MM, WS), pp. 529–542.
- FM-2014-ChristakisLS #formal method #verification
- Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.
- OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using
- Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
- CGO-2013-RenALMPS #data type #parallel
- SIMD parallelization of applications that traverse irregular data structures (BR, GA, JRL, TM, TP, WS), p. 10.
- ICSE-2012-Schulte #analysis #automation
- Ten years of automated code analysis at Microsoft (WS), p. 1001.
- MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
- Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
- ICLP-2011-JacksonBS #canonical
- Canonical Regular Types (EKJ, NB, WS), pp. 73–83.
- MoDELS-2011-SchulteJ #development #modelling
- Finding Models in Model-Based Development — (WS, EKJ), p. 591.
- CAV-2010-CohenMST #concurrent #invariant #source code #verification
- Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.
- FASE-2010-JacksonSBK #model transformation #reuse
- Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
- OOPSLA-2010-BebenitaBFLSTV #compilation #jit #named
- SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.
- ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using
- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
- ESEC-FSE-2009-ThummalapentaXTHS #generative #mining #named #object-oriented #source code #testing
- MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
- OOPSLA-2009-LeijenSB #design #library #parallel
- The design of a task parallel library (DL, WS, SB), pp. 227–242.
- FASE-2008-SmansJPS #automation #java #source code #verification
- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.
- ESOP-2007-LeinoS #invariant #using #verification
- Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.
- ASE-2006-TillmannS #behaviour #generative
- Mock-object generation with behavior (NT, WS), pp. 365–368.
- TestCom-2006-LammelS #combinator #grammarware #testing
- Controllable Combinatorial Coverage in Grammar-Based Testing (RL, WS), pp. 19–38.
- ECOOP-2005-BiermanMS #data access
- The Essence of Data Access in Cω (GMB, EM, WS), pp. 287–311.
- ESEC-FSE-2005-TillmannS #testing
- Parameterized unit tests with unit meister (NT, WS), pp. 241–244.
- ESEC-FSE-2005-TillmannS05a #testing
- Parameterized unit tests (NT, WS), pp. 253–262.
- ESEC-FSE-2005-VeanesCST #online #source code #testing
- Online testing with model programs (MV, CC, WS, NT), pp. 273–282.
- FM-2005-CampbellGNSTV #concurrent #object-oriented #specification #testing
- Testing Concurrent Object-Oriented Systems with Spec Explorer (CC, WG, LN, WS, NT, MV), pp. 542–547.
- SEFM-2005-JacobsPLS #concurrent #invariant
- Safe Concurrency for Aggregate Objects with Invariants (BJ, FP, KRML, WS), pp. 137–147.
- TACAS-2005-XieMSN #execution #framework #generative #named #object-oriented #symbolic computation #testing #using
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (TX, DM, WS, DN), pp. 365–381.
- SEFM-2004-LeinoS #c# #exception #safety
- Exception Safety for C# (KRML, WS), pp. 218–227.
- CBSE-2003-BarnettGKSSTW #component #specification
- Serious Specification for Composing Components (MB, WG, CK, WS, CS, NT, AW), p. 6.
- FATES-2003-BarnettGNSTV #modelling #testing #towards
- Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.
- ISSTA-2002-GrieskampGSV #finite #generative #state machine
- Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.
- CSL-2000-Schulte #state machine
- Translating Theory into Practice — Abstract State Machines within Microsoft (WS), p. 71.
- IFM-2000-Schulte #formal method #question #why
- Why Doesn’t Anyone Use Formal Methods? (WS), pp. 297–298.
- PLILP-1995-VullinghsTS #functional #lightweight #programming #user interface
- Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.
- PLILP-1994-Schulte #garbage collection
- Deriving Residual Reference Count Garbage Collectors (WS), pp. 102–116.
- ASE-2016-Schulte #evolution
- Changing microsoft’s build: revolution or evolution (WS), p. 2.
- ECOOP-2017-Schulte #challenge #scalability
- Challenges to Achieving High Availability at Scale (Invited Talk) (WS), p. 1.