Travelled to:1 × Austria
1 × New Zealand
1 × Portugal
1 × Spain
1 × Switzerland
2 × Canada
3 × France
3 × Italy
3 × USA
3 × United Kingdom
Collaborated with:G.Fraser B.K.Aichernig M.Weiglhofer ∅ J.Ferzund S.N.Ahsan B.Peischl H.Brandl J.Bozic A.Mühlenfeld D.Köb S.Jehan I.Pill C.Schwarzl S.J.Galler M.Nica H.Altinger S.Siegl Y.Dajsuren E.Jöbstl B.Hofer A.Riboira R.Abreu E.Getzner
Talks about:test (18) use (9) model (8) base (8) fault (6) conform (4) industri (3) softwar (3) applic (3) local (3)
Person: Franz Wotawa
DBLP: Wotawa:Franz
Contributed to:
2015
2015
20142013
201220112010
2010
2009
2009
2009
2009
200920082008
200720072007
200720072006
2009Wrote 26 papers:
- FASE-2015-JehanPW #integration #testing
- BPEL Integration Testing (SJ, IP, FW), pp. 69–83.
- MSR-2015-AltingerSDW #dataset #embedded #fault #industrial #modelling #novel #predict
- A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (HA, SS, YD, FW), pp. 494–497.
- ICTSS-2014-WotawaB #automation #exclamation #security #testing
- Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
- FASE-2013-HoferRWAG #empirical #evaluation #fault #locality #on the #spreadsheet
- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets (BH, AR, FW, RA, EG), pp. 68–82.
- ICST-2012-Wotawa #challenge #constraints #fault #open science #research #source code #using
- Open Research Challenges of Localizing Faults in Programs Using Constraints (FW), pp. 770–771.
- ICTSS-2011-SchwarzlAW #composition #random testing #testing #using
- Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
- ICST-2010-JobstlWAW #consistency #execution #smt #symbolic computation #testing
- When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (EJ, MW, BKA, FW), pp. 479–488.
- SEFM-2010-GallerWW #contract #design
- Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.
- ASE-2009-WeiglhoferFW #fault #locality #testing #using
- Using Spectrum-Based Fault Localization for Test Case Grouping (MW, GF, FW), pp. 630–634.
- ICSM-2009-FerzundAW #classification #metric #using
- Software change classification using hunk metrics (JF, SNA, FW), pp. 471–474.
- MBT-2009-AichernigBW #consistency #hybrid #modelling #reasoning #testing
- Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (BKA, HB, FW), pp. 53–69.
- SEKE-2009-AhsanFW #debugging #estimation #machine learning #using
- Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS (SNA, JF, FW), pp. 129–134.
- TAP-2009-FraserW #logic #testing
- Complementary Criteria for Testing Temporal Logic Properties (GF, FW), pp. 58–73.
- MBT-2008-AichernigWW #consistency #testing
- Improving Fault-based Conformance Testing (BKA, MW, FW), pp. 63–77.
- SEKE-2008-BrandlFW #modelling #reasoning #testing #using
- Coverage-based Testing Using Qualitative Reasoning Models (HB, GF, FW), pp. 393–398.
- SEKE-2008-FraserWW #automaton #testing #using
- Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.
- SEKE-2008-NicaPW #automation #constraints #deployment
- A Constraint Model for Automated Deployment of Automotive Control Software (MN, BP, FW), pp. 899–904.
- SEKE-2008-Wotawa #modelling #slicing
- Bridging the Gap Between Slicing and Model-based Diagnosis (FW), pp. 836–841.
- A-MOST-2007-AichernigWPW #generative #industrial
- Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.
- A-MOST-2007-FraserW #generative #ltl #model checking #performance #testing #using
- Using LTL rewriting to improve the performance of model-checker based test-case generation (GF, FW), pp. 64–74.
- FASE-2007-FraserW #reduction #testing
- Redundancy Based Test-Suite Reduction (GF, FW), pp. 291–305.
- MBT-2007-FraserAW #model checking #testing
- Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers (GF, BKA, FW), pp. 33–46.
- PPoPP-2007-MuhlenfeldW #c++ #concurrent #detection #fault #multi #thread
- Fault detection in multi-threaded c++ server applications (AM, FW), pp. 142–143.
- SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing
- Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.
- FASE-2006-KobW #calculus #debugging #using
- Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.
- WCRE-1999-FerzundAW99a #debugging
- Bug-Inducing Language Constructs (JF, SNA, FW), pp. 155–159.