Noa Shalev

According to our database, Noa Shalev authored at least 3 papers between 2008 and 2014.

Collaborative distances:

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

2014

Test Coverage Estimation Using Threshold Accepting.

Thao Dang, Noa Shalev

Proceedings of the Automated Technology for Verification and Analysis, 2014

2012

State Estimation and Property-Guided Exploration for Hybrid Systems Testing.

Thao Dang, Noa Shalev

Proceedings of the Testing Software and Systems, 2012

2008

Sensitive state-space exploration.

Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev

Proceedings of the 47th IEEE Conference on Decision and Control, 2008