Johan Foederer

According to our database, Johan Foederer authored at least 3 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Sequential Composition of BDD Transition Systems for Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2023

From BDD Scenarios to Test Case Generation.

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2011

Model-Based Testing of Industrial Transformational Systems.

Petur Olsen, Johan Foederer, Jan Tretmans

Proceedings of the Testing Software and Systems, 2011