Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

  • Conference paper
  • First Online:
Unifying Theories of Programming (UTP 2019)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11885))

Included in the following conference series:

Abstract

In this paper, we discuss the role of formal semantics from a testing perspective. Our focus is on conformance testing, where we test if a given system-under-test conforms to an abstract description of its intended behaviour. We show how the main semantic paradigms, namely algebraic, denotational, and operational semantics, support a systematic testing process and give examples from our own work on automated test-case generation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Note that even software model checking relies on specialised (non-standard) run-time environments that may behave differently to the deployed system.

  2. 2.

    In contrast to designs in UTP, we assume termination and, therefore, avoid the introduction of auxiliary ok variables. This is possible, since for test-case generation the outer loop is unfolded a finite number of times.

  3. 3.

    https://pypi.python.org/pypi/hypothesis.

  4. 4.

    https://github.com/fscheck/FsCheck.

References

  1. Aichernig, B.K.: Mutation testing in the renement calculus. Formal Aspects Comput. 15(2–3), 280–295 (2003)

    Article  Google Scholar 

  2. Aichernig, B.K.: Model-based mutation testing of reactive systems. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 23–36. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39698-4_2

    Chapter  MATH  Google Scholar 

  3. Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Sun, M., Rutten, J.: Fault-based test case generation for component connectors. In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29–31 July , pp. 147–154. IEEE Computer Society, July 2009

    Google Scholar 

  4. Aichernig, B.K., Bloem, R., Ebrahimi, M., Tappler, M., Winter, J.: Automata learning for symbolic execution. In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2 2018, pp. 1–9. IEEE (2018)

    Google Scholar 

  5. Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W.: Model-based mutation testing of hybrid systems. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 228–249. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-17071-3_12

    Chapter  Google Scholar 

  6. Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W.: Efficient mutation killers in action. In: IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21–25 March 2011, pp. 120–129. IEEE Computer Society (2011)

    Google Scholar 

  7. Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W.: UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36(1), 1–8 (2011)

    Article  Google Scholar 

  8. Aichernig, B.K., Brandl, H., Krenn, W.: Qualitative action systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 206–225. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-10373-5_11

    Chapter  Google Scholar 

  9. Aichernig, B.K., Brandl, H., Wotawa, F.: Conformance testing of hybrid systems with qualitative reasoning models. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253 (2) of Electronic Notes in Theoretical Computer Science, pp. 53–69. Elsevier, October 2009

    Google Scholar 

  10. Aichernig, B.K., Burghard, C., Korošec, R.: Learning-based testing of an industrial measurement device. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2019. LNCS, vol. 11460, pp. 1–18. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-20652-9_1

    Chapter  Google Scholar 

  11. Aichernig, B.K., Delgado, C.C.: From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 324–338. Springer, Heidelberg (2006). https://doi.org/10.1007/11693017_24

    Chapter  Google Scholar 

  12. Aichernig, B.K., George, C.: When model-based testing fails. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006, volume 164 (4), Electronic Notes in Theoretical Computer Science, pp. 115–128. Elsevier (2006)

    Google Scholar 

  13. Aichernig, B.K., Gerstinger, A., Aster, R.: Formal specification techniques as a catalyst in validation. In: Proceedings of the 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), Albuquerque, New Mexico, 15–17 November, pp. 203–207. IEEE (2000)

    Google Scholar 

  14. Aichernig, B.K., Griesmayer, A., Johnsen, E.B., Schlatte, R., Stam, A.: Conformance testing of distributed concurrent systems with executable designs. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol. 5751, pp. 61–81. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04167-9_4

    Chapter  Google Scholar 

  15. Aichernig, B.K., Griesmayer, A., Schlatte, R., Stam, A.: Modeling and testing multi-threaded asynchronous systems with Creol. In: Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008), Istanbul, Turkey, 30 August 2008, volume 243 of Electronic Notes in Theoretical Computer Science, pp. 3–14. Elsevier, July 2009

    Article  Google Scholar 

  16. Aichernig, B.K., He, J.: Mutation testing in UTP. Formal Aspects Comput. 21(1–2), 33–64 (2009)

    Article  Google Scholar 

  17. Aichernig, B.K., Jöbstl, E., Kegele, M.: Incremental refinement checking for test case generation. In: Veanes, M., Viganò, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 1–19. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38916-0_1

    Chapter  Google Scholar 

  18. Aichernig, B.K., Kann, S., Schumi, R.: Statistical model checking of response times for different system deployments. In: Feng, X., Müller-Olm, M., Yang, Z. (eds.) SETTA 2018. LNCS, vol. 10998, pp. 153–169. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99933-3_11

    Chapter  Google Scholar 

  19. Aichernig, B.K., Lorber, F., Ničković, D.: Time for mutants—model-based mutation testing with timed automata. In: Veanes, M., Viganò, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 20–38. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38916-0_2

    Chapter  Google Scholar 

  20. Aichernig, B.K., Lorber, F., Tappler, M.: Conformance checking of real-time models. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 15–32. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30734-3_4

    Chapter  Google Scholar 

  21. Aichernig, B.K., Maderbacher, B., Tiran, S.: Programming behavioral test models for SMT solving in Scala. In: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2019, Xi’an, China, 22–23 April 2019, pp. 52–60. IEEE (2019)

    Google Scholar 

  22. Aichernig, B.K., Mostowski, W., Mousavi, M.R., Tappler, M., Taromirad, M.: Model learning and model-based testing. In: Bennaceur, A., Hähnle, R., Meinke, K. (eds.) Machine Learning for Dynamic Software Analysis: Potentials and Limits. LNCS, vol. 11026, pp. 74–100. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96562-8_3

    Chapter  Google Scholar 

  23. Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: an industrial application of formal methods. In: Hinchey, M., Margaria,T. (eds.) Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, England, UK, 10–14 September 2007, pp. 215–226. IEEE Computer Society, 2007

    Google Scholar 

  24. Aichernig, B.K., Salas, P.A.P.: Test case generation by OCL mutation and constraint solving. In: Cai, K.-Y., Ohnishi, A. (eds.) QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, 19–21 September 2005, pp. 64–71. IEEE Computer Society, 2005

    Google Scholar 

  25. Aichernig, B.K., Schumi, R.: Statistical model checking meets property-based testing. In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13–17 March 2017, pp. 390–400. IEEE Computer Society, 2017

    Google Scholar 

  26. Aichernig, B.K., Schumi, R.: How fast is MQTT? In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 36–52. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99154-2_3

    Chapter  Google Scholar 

  27. Aichernig, B.K., Schumi, R.: Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18(2), 889–911 (2019). Open Access

    Article  Google Scholar 

  28. Aichernig, B.K.,Tappler, M.: Symbolic input-output conformance checking for model-based mutation testing. In: The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23–25 June 2015. Proceedings, Electronics Notes in Theoretical Computer Science, 320:3–19 (2016)

    Google Scholar 

  29. Aichernig, B.K., Tappler, M.: Probabilistic black-box reachability checking. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 50–67. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67531-2_4

    Chapter  Google Scholar 

  30. Aichernig, B.K., Eiglhofer, M., Peischl, B., Wotawa, F.: Test purpose generation in an industrial application. In: Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, 9–12 July, pp. 115–125 (2007)

    Google Scholar 

  31. Aichernig, B.K., Weiglhofer, M., Wotawa, F.: Improving fault-based conformance testing. In: Finkbeiner, B., Gurevich,Y., Petrenko, A.K. (eds.) Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008), volume 220 (1) of Electronic Notes in Theoretical Computer Science, pp. 63–77. Elsevier (2008)

    Google Scholar 

  32. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  33. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2004)

    Article  MathSciNet  Google Scholar 

  34. Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131–142. ACM (1983)

    Google Scholar 

  35. Barnett, M., Leino, K.R.M., Schulte, W.: The spec# programming system: an overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 49–69. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-30569-9_3

    Chapter  Google Scholar 

  36. Bentley, J.: Progamming Pearls, 2nd edn. Addison-Wesley, Boston (2000)

    Google Scholar 

  37. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193–207. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-49059-0_14

    Chapter  Google Scholar 

  38. Bloch, J.: Extra, extra - read all about it: Nearly all binary searches and mergesorts are broken. Google Research Blog, June 2006. http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html (Accessed 17 Aug 2019)

  39. Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification of hybrid systems. In: Wang, J., Chan, W.K., Kuo, F.C. (eds.) Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14–15 July 2010, pp. 3–12. IEEE Computer Society (2010)

    Google Scholar 

  40. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model verifier. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495–499. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48683-6_44

    Chapter  Google Scholar 

  41. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), Montreal, Canada, 18–21 September 2000, pp. 268–279. ACM (2000)

    Google Scholar 

  42. Dan, L., Aichernig, B.K.: Combining algebraic and model-based test case generation. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 250–264. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31862-0_19

    Chapter  Google Scholar 

  43. Dijkstra, E.W.: The humble programmer. Commun. ACM 15(10), 859–866 (1972)

    Article  Google Scholar 

  44. Fraser, G., Aichernig, B.K., Wotawa, F.: Handling model changes: regression testing and test-suite update with model-checkers. In: Proceedings of the Third Workshop on Model Based Testing (MBT 2007), volume 190(2) of Electronic Notes in Theoretical Computer Science, pp. 33–46. Elsevier (2007)

    Google Scholar 

  45. Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82–96. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59293-8_188

    Chapter  Google Scholar 

  46. Grabe, I., et al.: Credo methodology: modeling and analyzing a peer-to-peer system in credo. Electron. Notes Theor. Comput. Sci. 266, 33–48 (2010). Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS)

    Article  Google Scholar 

  47. Griesmayer, A., Aichernig, B., Johnsen, E.B., Schlatte, R.: Dynamic symbolic execution for testing distributed objects. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 105–120. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02949-3_9

    Chapter  Google Scholar 

  48. The RAISE Method Group: The RAISE Development Method. The BCS Practitioners Series. Prentice-Hall, Upper Saddle River (1995)

    Google Scholar 

  49. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall International, Upper Saddle River (1998)

    MATH  Google Scholar 

  50. Hoare, T.: Towards the verifying compiler. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 151–160. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-40007-3_10

    Chapter  Google Scholar 

  51. Hörl, J., Aichernig, B.K.: Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods (abstract). In: Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), Schaumburg, Illinois, 19–23 June 2000, pp. 190. IEEE (2000). Selected as one of three best papers

    Google Scholar 

  52. Hörl, J., Aichernig, B.K.: Validating voice communication requirements using lightweight formal methods. IEEE Softw. 17(3), 21–27 (2000). Best paper award at Fourth International Conference on Requirements Engineering (ICRE2000)

    Article  Google Scholar 

  53. ISO. ISO 8807: Information processing systems - open systems interconnection - LOTOS - a formal description technique based on the temporal ordering of observational behaviour (1989)

    Google Scholar 

  54. Jöbstl, E., Weiglhofer, M., Aichernig, B.K., Wotawa, F.: When BDDs fail: conformance testing with symbolic execution and SMT solving. In: Third International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, 7–9 April 2010, pp. 479–488. IEEE Computer Society (2010)

    Google Scholar 

  55. Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. Softw. Syst. Model. 6(1), 35–58 (2007)

    Article  Google Scholar 

  56. Jones, C.B.: Systematic Software Development Using VDM. Series in Computer Science, 2nd edn. Prentice-Hall, Upper Saddle River (1990)

    MATH  Google Scholar 

  57. Krenn, W., Aichernig, B.K.: Test case generation by contract mutation in Spec#. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253 (2) of Electronic Notes in Theoretical Computer Science, pp. 71–86. Elsevier (2009)

    Google Scholar 

  58. Krenn, W., Schlick, R., Aichernig, B.K.: Mapping UML to labeled transition systems for test-case generation. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 186–207. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-17071-3_10

    Chapter  Google Scholar 

  59. Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)

    Google Scholar 

  60. Meng, S., Arbab, F., Aichernig, B.K., Astefanoaei, L., de Boer, F.S., Rutten, J.: Connectors as designs: modeling, refinement and test case generation. Sci. Comput. Program. 77(7/8), 799–822 (2012)

    Article  Google Scholar 

  61. Nilsson, R.: ScalaCheck: The Definitive Guide. IT Pro, Artima Incorporated, Walnut Creek (2014)

    Google Scholar 

  62. OMG. Object constraint language, version 2.2. Technical Report formal/2010-02-01, Object Management Group, February 2010

    Google Scholar 

  63. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)

    Google Scholar 

  64. Popper, K.: Logik der Forschung, 10th edn. Mohr Siebeck, Heidelberg (2005)

    MATH  Google Scholar 

  65. Rusu, V., du Bousquet, L., Jéron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 338–357. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-40911-4_20

    Chapter  Google Scholar 

  66. Schlatte, R., Aichernig, B., de Boer, F., Griesmayer, A., Johnsen, E.B.: Testing concurrent objects with application-specific schedulers. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 319–333. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85762-4_22

    Chapter  Google Scholar 

  67. Schlatte, R., Aichernig, B., Griesmayer, A., Kyas, M.: Resource modeling for timed Creol models. Electron. Notes Theor. Comput. Sci. 266, 63–75 (2010)

    Article  Google Scholar 

  68. Schumi, R., Lang, P., Aichernig, B.K., Krenn, W., Schlick, R.: Checking response-time properties of web-service applications under stochastic user profiles. In: Yevtushenko, N., Cavalli, A.R., Yenigün, H. (eds.) ICTSS 2017. LNCS, vol. 10533, pp. 293–310. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67549-7_18

    Chapter  Google Scholar 

  69. Schwarzl, C., Aichernig, B.K., Wotawa, F.: Compositional random testing using extended symbolic transition systems. In: Wolff, B., Zaïdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 179–194. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24580-0_13

    Chapter  Google Scholar 

  70. Tappler, M., Aichernig, B.K., Bloem, R.: Model-based testing IoT communication via active automata learning. In: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13–17 March 2017, pp. 276–287. IEEE Computer Society (2017)

    Google Scholar 

  71. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw. - Concepts Tools 17(3), 103–120 (1996)

    MATH  Google Scholar 

  72. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Burlington (2007)

    Google Scholar 

  73. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2011)

    Article  Google Scholar 

  74. Weiglhofer, M., Aichernig, B.K., Wotawa, F.: Fault-based conformance testing in practice. Int. J. Softw. Inform. 3(2–3), 375–411 (2009). Special double issue on Formal Methods of Program Development edited by Dines Bjoerner

    Google Scholar 

Download references

Acknowledgment

This work was supported by the TU Graz LEAD project “Dependable Internet of Things in Adverse Environments”.

Author information

Authors and Affiliations

  1. Institute of Software Technology, Graz University of Technology, Graz, Austria

    Bernhard K. Aichernig

Authors
  1. Bernhard K. Aichernig
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bernhard K. Aichernig .

Editor information

Editors and Affiliations

  1. University of York, York, UK

    Pedro Ribeiro

  2. Universidade Federal de Pernambuco, Recife, Brazil

    Augusto Sampaio

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Aichernig, B.K. (2019). A Testing Perspective on Algebraic, Denotational, and Operational Semantics. In: Ribeiro, P., Sampaio, A. (eds) Unifying Theories of Programming. UTP 2019. Lecture Notes in Computer Science(), vol 11885. Springer, Cham. https://doi.org/10.1007/978-3-030-31038-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-31038-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-31037-0

  • Online ISBN: 978-3-030-31038-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation