1. OAR@UM

Browsing by Subject Computer programs -- Testing

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 8 to 24 of 24 < previous 
Issue DateTitleAuthor(s)
2017-10Heaps don't lie : countering unsoundness with heap snapshotsGrech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
2012Integrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic executionCachia, Mark Anthony; Micallef, Mark
2012Investigating ways to make mutation testing feasible in agile environmentsCachia, Mark Anthony (2012)
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2011A recommender system enhanced through a social networking siteBuhagiar, Olaf Dean (2011)
2018Shooting from the heap : ultra-scalable static analysis with heap snapshotsGrech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
2016StaRVOOrS - episode II : strengthen and distribute the forceAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015StaRVOOrS : a tool for combined static and runtime verification of JavaChimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2014State-based monitoring using LARVAJustine, Scicluna (2014)
2009Statistics and runtime verificationGauci, Andrew (2009)
2008Tatja : a test automation tool for Java applets.Xuereb, Matthew (2008)
2013A type system for a higher-order languageZammit, Melanie (2013)
2014-11Using DSLs for software testingMicallef, Mark; Colombo, Christian
2013Using symbolic execution for equivalent mutant detectionCachia, Mark Anthony (2013)
2013Using symbolic execution for equivalent mutant detectionCachia, Mark Anthony; Micallef, Mark
2014Using symbolic execution to test monitor specificationsTanti, Mark (2014)
2016Using testing techniques to classify user interface designsCauchi, Abigail; Pace, Gordon J.
Showing results 8 to 24 of 24 < previous