Software Research Centre in Stockholm
A CASTOR Contribution to the Swedish Tech Press
New Audiovisual Exhibition Launched
Best Student Paper Award at the 27th IEEE RTAS International Symposium
by CASTOR | May 25, 2021 | News | 0 Comments
CASTOR member Matthias Becker and his collaborators received the best student paper award at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). RTAS is a top-tier conference with a focus on systems research related to embedded systems...
PhD student at KTH reveals a critical bug in the CDN infrastructure of Fastly
CASTOR contributes to software verification benchmark infrastructure
by CASTOR | May 24, 2021 | News | 0 Comments
As part of the "WASP software arena" project, CASTOR contributed an extension to the "benchexec" infrastructure that has been used over the last ten years to evaluate various software verification tools for C and Java programs. CASTOR's contribution provides the setup...
Google summer of code to consolidate CASTOR’s open source software technology
by CASTOR | May 20, 2021 | News | 0 Comments
Rohitesh Kumar Jain and Abhay Singh are accepted in the Google summer of code to consolidate CASTOR's open source software technology! They will work on Spoon and Depclean. More information: https://summerofcode.withgoogle.com/organizations/6493089931198464/#projects...
CASTOR Researchers Talk About Technique That Detects Weaknesses In Software Testing
by CASTOR | April 15, 2021 | News | 0 Comments
Benoit Baudry and Martin Monperrus, both professors in software technology within CASTOR, talk about software testing, in particular about pseudo-tested methods which can be a reliability risk. They explain how they developed a methodology and tool to uncover them in...
CASTOR as a Mentor Organization for the Upcoming Google Summer of Code (GSoC) 2021
by CASTOR | March 11, 2021 | News | 0 Comments
Google Summer of Code (GSoC) is a global program focused on bringing more student developers into open source software development. Students work with an open source organization on a 10 week programming project during their break from school. CASTOR has been accepted...