Drechsler, Rolf
University of Bremen
2 papers on CoChatORCID 0000-0002-9872-1740
Most cited papers
- Verified
LLM-Guided Formal Verification Coupled with Mutation Testing
Hassan, M., Ahmadi-Pour, S., Qayyum, K., Jha, C. K., & Drechsler, R. (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Formal Methods in VerificationSoftware Testing and Debugging Techniques
Cited by 43
- Verified
Look What I Can Do: Acquisition of Programming Skills in the Context of Living Labs
Seraj, M., Grosse, C. S., Autexier, S., & Drechsler, R. (2019) · 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET)
Teaching and Learning ProgrammingEducational Robotics and Engineering
Cited by 9
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free