Dashuan Shen

According to our database, Dashuan Shen authored at least 2 papers in 2018.

Collaborative distances:

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

2018

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.

Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Chasing Errors Using Biasing Automata.

Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018