References in zbMATH (referenced in 18 articles , 1 standard article )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
  2. Aarts, Fides; Jonsson, Bengt; Uijen, Johan; Vaandrager, Frits: Generating models of infinite-state communication protocols using regular inference with abstraction (2015)
  3. Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre: Test generation from state based use case models (2014)
  4. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  5. Hierons, Robert M.; Merayo, Mercedes G.; Núñez, Manuel: Implementation relations and test generation for systems with distributed interfaces (2012)
  6. Pakulin, N. V.; Tugaenko, A. N.; Shnitman, V. Z.: Model-based testing of Internet e-mail protocols (2012) ioport
  7. Héam, Pierre-Cyrille; Masson, Catherine: A random testing approach using pushdown automata (2011)
  8. Li, Guodong; Palmer, Robert; DeLisi, Michael; Gopalakrishnan, Ganesh; Kirby, Robert M.: Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (2011)
  9. Kuliamin, V. V.: Component architecture of model-based testing environment (2010) ioport
  10. Veanes, Margus; Jacky, Jonathan: Composing model programs for analysis (2010)
  11. Chetali, Boutheina; Nguyen, Quang-Huy: An automated testing experiment for layered embedded C code (2009) ioport
  12. Kuliamin, V. V.: Integration of verification methods for program systems (2009)
  13. Veanes, Margus; Campbell, Colin; Grieskamp, Wolfgang; Schulte, Wolfram; Tillmann, Nikolai; Nachmanson, Lev: Model-based testing of object-oriented reactive systems with spec explorer (2008) ioport
  14. Veanes, Margus; Campbell, Colin; Schulte, Wolfram: Composition of model programs (2007)
  15. Veanes, Margus; Ernits, Juhan; Campbell, Colin: State isomorphism in model programs with abstract data structures (2007)
  16. Blass, Andreas; Gurevich, Yuri; Nachmanson, Lev; Veanes, Margus: Play to test (2006)
  17. Campbell, Colin; Grieskamp, Wolfgang; Nachmanson, Lev; Schulte, Wolfram; Tillmann, Nikolai; Veanes, Margus: Testing concurrent object-oriented systems with Spec Explorer (2005)
  18. Rosenzweig, Dean; Runje, Davor; Schulte, Wolfram: Model-based testing of cryptographic protocols (2005)