Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernhard K. Aichernig
Person information
- affiliation: Graz University of Technology, Institute for Software Technology, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j23]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
:
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18(3): 417-426 (2022)- [c98]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler:
Learning Finite State Models fromRecurrent Neural Networks. IFM 2022: 229-248 - [c97]Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer:
Search-Based Testing of Reinforcement Learning. IJCAI 2022: 503-510 - [c96]Andrea Pferscher, Bernhard K. Aichernig:
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. NFM 2022: 373-392 - [c95]Martin Tappler, Bernhard K. Aichernig, Florian Lorber:
Timed Automata Learning via SMT Solving. NFM 2022: 489-507 - [c94]Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler:
Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM 2022: 155-172 - [c93]Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM 2022: 1-19 - [i9]Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer:
Search-Based Testing of Reinforcement Learning. CoRR abs/2205.04887 (2022) - [i8]Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill:
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR abs/2206.11708 (2022) - [i7]Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting and Analysis of Bluetooth Devices with Automata Learning. CoRR abs/2211.16074 (2022) - 2021
- [j22]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021) - [c92]Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler:
AALpy: An Active Automata Learning Library. ATVA 2021: 67-73 - [c91]Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. FM 2021: 524-542 - [c90]Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher:
Learning-Based Fuzzing of IoT Message Brokers. ICST 2021: 47-58 - [c89]Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill:
Active Model Learning of Stochastic Reactive Systems. SEFM 2021: 481-500 - 2020
- [j21]Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig:
Special issue on testing extra-functional properties. Softw. Test. Verification Reliab. 30(1) (2020) - [c88]Bernhard K. Aichernig, Benedikt Maderbacher:
Step-Wise Development of Provably Correct Actor Systems. ISoLA (1) 2020: 426-448 - [c87]Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler:
From Passive to Active: Learning Timed Automata Efficiently. NFM 2020: 1-19 - [c86]Bernhard K. Aichernig, Christian Burghard:
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ICTSS 2020: 35-51 - [c85]Andrea Pferscher, Bernhard K. Aichernig:
Learning Abstracted Non-deterministic Finite State Machines. ICTSS 2020: 52-69 - [c84]Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM 2020: 155-174 - [c83]Bernhard K. Aichernig, Martin Tappler, Felix Wallner:
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF 2020: 3-22
2010 – 2019
- 2019
- [j20]Bernhard K. Aichernig, Martin Tappler:
Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. 54(3): 416-448 (2019) - [j19]Bernhard K. Aichernig, Martin Tappler:
Efficient Active Automata Learning via Mutation Testing. J. Autom. Reason. 63(4): 1103-1134 (2019) - [j18]Bernhard K. Aichernig, Richard Schumi:
Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18(2): 889-911 (2019) - [j17]Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi:
Learning and statistical model checking of system response times. Softw. Qual. J. 27(2): 757-795 (2019) - [c82]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes. FM 2019: 651-669 - [c81]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Time to Learn - Learning Timed Automata from Tests. FORMATS 2019: 216-235 - [c80]Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran:
Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops 2019: 52-60 - [c79]Bernhard K. Aichernig, Christian Burghard, Robert Korosec:
Learning-Based Testing of an Industrial Measurement Device. NFM 2019: 1-18 - [c78]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS 2019: 3-21 - [c77]Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm:
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM 2019: 93-111 - [c76]Bernhard K. Aichernig:
A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP 2019: 22-38 - [i6]Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. CoRR abs/1904.07075 (2019) - [i5]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR abs/1906.12239 (2019) - [i4]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger:
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR abs/1907.04708 (2019) - 2018
- [j16]Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - [c75]Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad:
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis 2018: 74-100 - [c74]Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter:
Automata Learning for Symbolic Execution. FMCAD 2018: 1-9 - [c73]Bernhard K. Aichernig, Richard Schumi:
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. QEST 2018: 36-52 - [c72]Bernhard K. Aichernig, Severin Kann, Richard Schumi:
Statistical Model Checking of Response Times for Different System Deployments. SETTA 2018: 153-169 - [i3]Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber:
Learning Timed Automata via Genetic Programming. CoRR abs/1808.07744 (2018) - 2017
- [j15]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53(3): 291-326 (2017) - [j14]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19(4): 409-426 (2017) - [c71]Martin Tappler, Bernhard K. Aichernig, Roderick Bloem:
Model-Based Testing IoT Communication via Active Automata Learning. ICST 2017: 276-287 - [c70]Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi:
Property-Based Testing with External Test-Case Generators. ICST Workshops 2017: 337-346 - [c69]Bernhard K. Aichernig, Richard Schumi:
Statistical Model Checking Meets Property-Based Testing. ICST 2017: 390-400 - [c68]Bernhard K. Aichernig, Martin Tappler:
Learning from Faults: Mutation Testing in Active Automata Learning. NFM 2017: 19-34 - [c67]Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick:
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS 2017: 293-310 - [c66]Bernhard K. Aichernig, Martin Tappler:
Probabilistic Black-Box Reachability Checking. RV 2017: 50-67 - 2016
- [j13]Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler:
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. 85(5): 806-823 (2016) - [c65]Bernhard K. Aichernig, Florian Lorber, Martin Tappler:
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods 2016: 15-32 - [c64]Bernhard K. Aichernig, Richard Schumi:
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. ICST Workshops 2016: 219-228 - [c63]Bernhard K. Aichernig, Richard Schumi:
Towards integrating statistical model checking into property-based testing. MEMOCODE 2016: 71-76 - [c62]Bernhard K. Aichernig, Florian Lorber:
On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE 2016: 14-21 - [e5]Bernhard K. Aichernig, Carlo A. Furia:
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7 [contents] - 2015
- [j12]Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran:
Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97: 383-404 (2015) - [j11]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran:
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25(8): 716-748 (2015) - [c61]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127 - [c60]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304 - [c59]Bernhard K. Aichernig, Florian Lorber:
Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops 2015: 1-6 - [c58]Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl:
MoMut: : UML Model-Based Mutation Testing for UML. ICST 2015: 1-8 - [c57]Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF 2015: 1-18 - [c56]Bernhard K. Aichernig, Martin Tappler:
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. USE@FM 2015: 3-19 - [i2]Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015) - 2014
- [j10]Stefan J. Galler, Bernhard K. Aichernig:
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. Int. J. Softw. Tools Technol. Transf. 16(6): 727-751 (2014) - [c55]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Formal Test-Driven Development with Verified Test Cases. MODELSWARD 2014: 626-635 - [c54]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran:
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC 2014: 117-126 - [c53]Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber:
Debugging with Timed Automata Mutations. SAFECOMP 2014: 49-64 - [c52]Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt:
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF 2014: 1-19 - 2013
- [c51]Bernhard K. Aichernig:
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. Theories of Programming and Formal Methods 2013: 23-36 - [c50]Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele:
Incremental Refinement Checking for Test Case Generation. TAP@STAF 2013: 1-19 - [c49]Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF 2013: 20-38 - 2012
- [j9]Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten:
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77(7-8): 799-822 (2012) - [c48]Bernhard K. Aichernig, Elisabeth Jöbstl:
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. ICST 2012: 752-757 - [c47]Bernhard K. Aichernig, Elisabeth Jöbstl:
Efficient Refinement Checking for Model-Based Mutation Testing. QSIC 2012: 21-30 - [c46]Bernhard K. Aichernig:
The Science of Killing Bugs in a Black Box - (Keynote Talk). SBLP 2012: 6-11 - [c45]Bernhard K. Aichernig, Florian Lorber, Stefan Tiran:
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE 2012: 119-126 - [c44]Bernhard K. Aichernig, Elisabeth Jöbstl:
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking. MBT 2012: 88-102 - [e4]Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, ISBN 978-3-642-25270-9 [contents] - 2011
- [j8]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c43]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Efficient Mutation Killers in Action. ICST 2011: 120-129 - [c42]Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa:
Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS 2011: 179-194 - 2010
- [c41]Franz Wotawa, Mihai Nica, Bernhard K. Aichernig:
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops 2010: 325-330 - [c40]Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST 2010: 479-488 - [c39]Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig:
Automated Conformance Verification of Hybrid Systems. QSIC 2010: 3-12
2000 – 2009
- 2009
- [j7]Bernhard K. Aichernig, Jifeng He:
Mutation testing in UTP. Formal Aspects Comput. 21(1-2): 33-64 (2009) - [j6]Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
Fault-Based Conformance Testing in Practice. Int. J. Softw. Informatics 3(2-3): 375-411 (2009) - [c38]Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer:
The Credo Methodology - (Extended Version). FMCO 2009: 41-69 - [c37]Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig:
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO 2009: 186-207 - [c36]Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Model-Based Mutation Testing of Hybrid Systems. FMCO 2009: 228-249 - [c35]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE 2009: 225-230 - [c34]Bernhard K. Aichernig, Harald Brandl, Willibald Krenn:
Qualitative Action Systems. ICFEM 2009: 206-225 - [c33]Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS 2009: 105-120 - [c32]Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten:
Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154 - [c31]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48 - [c30]Bernhard K. Aichernig, Harald Brandl, Franz Wotawa:
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. MBT@ETAPS 2009: 53-69 - [c29]Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas:
Resource Modeling for Timed Creol Models. TTSS 2009: 63-75 - [c28]Willibald Krenn, Bernhard K. Aichernig:
Test Case Generation by Contract Mutation in Spec#. MBT@ETAPS 2009: 71-86 - 2008
- [j5]Bernhard K. Aichernig, Bernhard Beckert:
Software engineering and formal methods. Softw. Syst. Model. 7(3): 255-256 (2008) - [c27]Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81 - [c26]Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers. ICTAC 2008: 319-333 - [c25]Martin Weiglhofer, Bernhard K. Aichernig:
Unifying Input Output Conformance. UTP 2008: 181-201 - [c24]Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. TTSS 2008: 3-14 - [c23]Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
Improving Fault-based Conformance Testing. MBT@ETAPS 2008: 63-77 - 2007
- [c22]Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa:
Test purpose generation in an industrial application. A-MOST 2007: 115-125 - [c21]Bernhard K. Aichernig:
A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. PSSE 2007: 243-287 - [c20]Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa:
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007: 215-226 - [c19]Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. MBT 2007: 33-46 - [e3]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 2006
- [c18]Bernhard K. Aichernig, Carlo Corrales Delgado:
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. FASE 2006: 324-338 - [c17]Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Preface. Refine@ICFEM 2006: 1 - [c16]Bernhard K. Aichernig, Chris George:
When Model-based Testing Fails. MBT 2006: 115-128 - [c15]Bernhard K. Aichernig, Jifeng He:
Refinement and Test Case Generation in UTP. Refine@ICFEM 2006: 125-143 - 2005
- [c14]Sun Meng, Bernhard K. Aichernig, Zhang Naixiao:
Coalgebraic Component Specification and Verification in RSL. PDCAT 2005: 424-426 - [c13]Bernhard K. Aichernig, Percy Antonio Pari Salas:
Test Case Generation by OCL Mutation and Constraint Solving. QSIC 2005: 64-71 - [c12]