TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems

Research output

Research output per year 2016 2016 2017 2019 2019

• 8 Conference paper
• 2 Article

Research output per year

Research output per year

Search results

• 2019

  Learning and statistical model checking of system response times

  Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R. & Schumi, R. A., 2019, In: Software Quality Journal. 27, 2, p. 757-795

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models

  Aichernig, B. K. & Schumi, R. A., 2019, In: Software and Systems Modeling. 18, 2, p. 889-911

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Business Rule Model 100%
  • Functional Programming 20%
  • Service Request 20%
• 2018

  Statistical Model Checking of Response Times for Different System Deployments

  Aichernig, B. K., Kann, S. & Schumi, R. A., 2018, Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Model Accuracy 100%
  • User Expectation 100%
  • Performance Simulation 100%
  • Testing Effort 100%
  • Performance Testing 60%
• 2017

  Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

  Schumi, R. A., Lang, P., Aichernig, B. K., Krenn, W. & Schlick, R., 2017, 29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017). Springer Verlag

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Response Time 100%
  • Log Data 20%
  • User Population 20%
  • Timing Requirement 20%
  • Load Testing 20%

• Property-Based Testing with External Test-Case Generators

  Aichernig, B. K., Marcovic, S. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, p. 337-346

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Generators 100%
  • Models 44%
  • Complex Form 20%
  • Demonstrates 11%
  • Application 11%

• Statistical Model Checking Meets Property-Based Testing

  Aichernig, B. K. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). IEEE Computer Society, p. 390-400

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Model Checking Algorithm 100%
  • Model Checking Problem 100%
  • Testing Environment 100%
• 2016

  Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

  Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Property-based Testing with FsCheck by Deriving Properties from Business Rule Models

  Aichernig, B. K. & Schumi, R., 2016, Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, p. 219-228 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

  Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Towards Integrating Statistical Model Checking into Property-Based Testing

  Aichernig, B. K. & Schumi, R. A., 2016, 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, p. 71-76 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review