External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran. Scalable Incremental Test-case Generation from Large Behavior Models. In Jasmin Christian Blanchette, Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Volume 9154 of Lecture Notes in Computer Science, pages 1-18, Springer, 2015. [doi]

Authors

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Stefan Tiran

This author has not been identified. Look up 'Stefan Tiran' in Google
runs on