Stefan Tiran

According to our database1, Stefan Tiran authored at least 10 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Programming Behavioral Test Models for SMT Solving in Scala.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2017
Require, test, and trace IT.
Int. J. Softw. Tools Technol. Transf., 2017

2015
Killing strategies for model-based mutation testing.
Softw. Test. Verification Reliab., 2015

Model-based mutation testing via symbolic refinement checking.
Sci. Comput. Program., 2015

Scalable Incremental Test-case Generation from Large Behavior Models.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

Incremental Model-Based Mutation Testing.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

MoMut: : UML Model-Based Mutation Testing for UML.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2014
Integration of Requirements Engineering and Test-Case Generation via OSLC.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Formal Test-Driven Development with Verified Test Cases.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012


  Loading...