The Effect of Decentralized Behavioral Decision Making on System-Level RiskKAIVANTO, Kim.Risk analysis. 2014, Vol 34, Num 12, pp 2121-2142, issn 0272-4332, 22 p.Article

Differential DebuggingSPINELLIS, Diomidis.IEEE software. 2013, Vol 30, Num 5, pp 19-21, issn 0740-7459, 3 p.Article

Symbolic Execution for Software Testing: Three Decades LaterCADAR, Cristian; SEN, Koushik.Communications of the ACM. 2013, Vol 56, Num 2, pp 82-90, issn 0001-0782, 9 p.Article

The Quantitative Estimation of IT-Related Risk ProbabilitiesHERRMANN, Andrea.Risk analysis. 2013, Vol 33, Num 8, pp 1510-1531, issn 0272-4332, 22 p.Article

Verifying Autonomous SystemsFISHER, Michael; DENNIS, Louise; WEBSTER, Matt et al.Communications of the ACM. 2013, Vol 56, Num 9, pp 84-93, issn 0001-0782, 10 p.Article

Program analysis too loopy? Set the loops asideLARSON, Eric.IET software (Print). 2013, Vol 7, Num 3, pp 131-149, issn 1751-8806, 19 p.Article

Discrete Abstractions of Nonlinear Systems Based on Error Propagation AnalysisTAZAKI, Yuichi; IMURA, Jun-Ichi.IEEE transactions on automatic control. 2012, Vol 57, Num 3, pp 550-564, issn 0018-9286, 15 p.Article

Model-Based TestingSCHIEFERDECKER, Ina.IEEE software. 2012, Vol 29, Num 1, pp 14-18, issn 0740-7459, 5 p.Article

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués = Context and requirement modeling for formal validation of embedded softwareDHAUSSY, Philippe; BONIOL, Frédéric; ROGER, Jean-Charles et al.TSI. Technique et science informatiques. 2012, Vol 31, Num 6, pp 797-825, issn 0752-4072, 29 p.Conference Paper

Lazy symbolic execution for test data generation : Automation of Software Test (AST '09)UN, M. X; CHEN, Y. L; YU, K et al.IET software (Print). 2011, Vol 5, Num 2, pp 132-141, issn 1751-8806, 10 p.Article

Evaluating workloads using comparative functional coverageADLER, Yoram; BLUE, Dale; CONTI, Thomas et al.International journal on software tools for technology transfer (Print). 2011, Vol 13, Num 3, pp 207-221, issn 1433-2779, 15 p.Article

Classroom Experiences: Disallowing Laptops during Lectures Improves Student PerformanceDELIGIANNIDIS, Leonidas.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 217-221, isbn 1-60132-180-5, 5 p.Conference Paper

Fast Restore of Checkpointed Memory using Working Set EstimationZHANG, Irene; GARTHWAITE, Alex; BASKAKOV, Yury et al.ACM SIGPLAN notices. 2011, Vol 46, Num 7, pp 87-98, issn 1523-2867, 12 p.Conference Paper

Fast and Space-Efficient Virtual Machine CheckpointingPARK, Eunbyung; EGGER, Bernhard; LEE, Jaejin et al.ACM SIGPLAN notices. 2011, Vol 46, Num 7, pp 75-85, issn 1523-2867, 11 p.Conference Paper

Lowering Overhead in Sampling-based Execution Monitoring and TracingTHOMAS, Johnson J; FISCHMEISTER, Sebastian; KUMAR, Deepak et al.ACM SIGPLAN notices. 2011, Vol 46, Num 5, pp 101-110, issn 1523-2867, 10 p.Conference Paper

Probabilistic, Modular and Scalable Inference of Typestate SpecificationsBECKMAN, Nels E; NORI, Aditya V.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 211-221, issn 1523-2867, 11 p.Conference Paper

Automatic detection of infeasible paths in software testingGONG, D; YAO, X.IET software (Print). 2010, Vol 4, Num 5, pp 361-370, issn 1751-8806, 10 p.Article

Evaluating the Accuracy of Java ProfilersAMER DIWAN, Todd Mytkowicz; HAUSWIRTH, Matthias; SWEENEY, Peter F et al.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 187-197, issn 1523-2867, 11 p.Conference Paper

On smooth sets of integersLITMAN, Ami; MORAN-SCHEIN, Shiri.Discrete mathematics. 2009, Vol 309, Num 4, pp 797-813, issn 0012-365X, 17 p.Article

A Concurrent Dynamic Analysis Framework for Multicore HardwareHA, Jungwoo; ARNOLD, Matthew; BLACKBURN, Stephen M et al.ACM SIGPLAN notices. 2009, Vol 44, Num 10, pp 155-174, issn 1523-2867, 20 p.Conference Paper

Recovery Domains: An Organizing Principle for Recoverable Operating SystemsLENHARTH, Andrew; ADVE, Vikram; KING, Samuel T et al.ACM SIGPLAN notices. 2009, Vol 44, Num 3, pp 49-60, issn 1523-2867, 12 p.Conference Paper

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small valuesRUNCIMAN, Colin; NAYLOR, Matthew; LINDBLAD, Fredrik et al.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 37-48, issn 1523-2867, 12 p.Conference Paper

Cramer-von Mises Tests for the Compatibility of Two Software Operating EnvironmentsJESKE, D. R; LOCKHART, R. A; STEPHENS, M. A et al.Technometrics. 2008, Vol 50, Num 1, pp 53-63, issn 0040-1706, 11 p.Article

Modelling asynchronous message passing in small cluster environmentsJUHASZ, S.International journal of computers & applications. 2006, Vol 28, Num 1, pp 43-49, issn 1206-212X, 7 p.Article

Toward a unified security/safety modelSTONEBURNER, Gary.Computer (Long Beach, CA). 2006, Vol 39, Num 8, pp 96-97, issn 0018-9162, 2 p.Article