Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Chris Lovett
Principal Research Software Engineer
Publications
Publications by Year
-
-
Demo: A Versatile Controller Concept for Mobile Gaming
John Helmes, Stuart Taylor, Steve Hodges, Chris Lovett
UbiComp 2018: Extended Abstracts | October 2018
-
AirSim: High-Fidelity Visual and Physical Simulation for Autonomous Vehicles
Shital Shah, Ashish Kapoor, Debadeepta Dey, Chris Lovett
Field and Service Robotics | November 2017, pp. 621-635
Publications by Research Area
-
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
-
Demo: A Versatile Controller Concept for Mobile Gaming
John Helmes, Stuart Taylor, Steve Hodges, Chris Lovett
UbiComp 2018: Extended Abstracts | October 2018
-
Demo: A Versatile Controller Concept for Mobile Gaming
John Helmes, Stuart Taylor, Steve Hodges, Chris Lovett
UbiComp 2018: Extended Abstracts | October 2018
-
AirSim: High-Fidelity Visual and Physical Simulation for Autonomous Vehicles
Shital Shah, Ashish Kapoor, Debadeepta Dey, Chris Lovett
Field and Service Robotics | November 2017, pp. 621-635
Publications by Type
-
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Demo: A Versatile Controller Concept for Mobile Gaming
John Helmes, Stuart Taylor, Steve Hodges, Chris Lovett
UbiComp 2018: Extended Abstracts | October 2018
-
AirSim: High-Fidelity Visual and Physical Simulation for Autonomous Vehicles
Shital Shah, Ashish Kapoor, Debadeepta Dey, Chris Lovett
Field and Service Robotics | November 2017, pp. 621-635