1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2023
Communicating on Security within Software Development Issue Tracking
Léon McGregor, Manuel Maarek, Hans-Wolfgang Loidl
During software development, balancing security and non security issues is challenging. We focus on security awareness and approaches taken by non-security experts using software d…
cs.SE2020★ 1 cited
Development of a Web Platform for Code Peer-Testing
Manuel Maarek, Léon McGregor
As part of formative and summative assessments in programming courses, students work on developing programming artifacts following a given specification. These artifacts are evalua…
cs.SE2017
DAReing to reduce the annotation overheads of verified programs
Gudmund Grov, Duncan Cameron, Leon McGregor
Modern program verifiers use the same uniform program text to both specify and implement programs. The program text is also used to provide the necessary guidance to ensure that th…