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 3 to 22 of 24 < previous   next >
Issue DateTitleAuthor(s)
2013-11Equivalence proofs for Erlang refactoringTanti, Erica; Francalanza, Adrian
2013-11Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants)Cachia, Mark Anthony; Micallef, Mark
2014-11Extracting monitors from JUnit testsColombo, Christian; Micallef, Jonathan; Micallef, Mark
2016Extracting runtime monitors from testsColombo, Christian; Micallef, Mark; Spiteri, Keith
2013Facilitating the generation of QuickCheck models for web test automationScerri, Mark (2013)
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
Showing results 3 to 22 of 24 < previous   next >