Oliver Niese

According to our database1, Oliver Niese authored at least 10 papers between 2001 and 2004.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Efficient test-based model generation for legacy reactive systems.
Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2003
An integrated approach to testing complex systems.
PhD thesis, 2003

Domain-Specific Optimization in Automata Learning.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
Proceedings of the Model Checking of Software, 2002

Model Generation by Moderated Regular Extrapolation.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

System level testing of virtual switch (re-)configuration over IP.
Proceedings of the 7th European Test Workshop, 2002

2001
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Demonstration of an Automated Integrated Testing Environment for CTI Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Automated regression testing of CTI-systems.
Proceedings of the 6th European Test Workshop, 2001


  Loading...