Software That Checks Software: The Impact of PC-lintGIMPEL, James.IEEE software. 2014, Vol 31, Num 1, pp 15-19, issn 0740-7459, 5 p.Article

Out of range error probability assessment for any computer programSUSHANT MOHAN DEWAL; NEERAJ KUMAR GOYAL.International journal of reliability and safety (Print). 2013, Vol 7, Num 4, pp 332-357, issn 1479-389X, 26 p.Article

Quantifying Software's ImpactVAN GENUCHTEN, Michiel; HATTON, Les.Computer (Long Beach, CA). 2013, Vol 46, Num 10, pp 66-72, issn 0018-9162, 7 p.Article

Abstract property language for MDG model checking methodologyABED, Sa'ed; HUSSAIN, Kamran; AIT-MOHAMED, Otmane et al.International journal of computer applications in technology. 2012, Vol 44, Num 1, pp 23-36, issn 0952-8091, 14 p.Article

Towards Better Fault Localization: A Crosstab-Based Statistical ApproachWONG, W. Eric; DEBROY, Vidroha; DIANXIANG XU et al.IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews. 2012, Vol 42, Num 3, pp 378-396, issn 1094-6977, 19 p.Article

Equivalence Checking of Static Affine Programs Using Widening to Handle RecurrencesVERDOOLAEGE, Sven; JANSSENS, Gerda; BRUYNOOGHE, Maurice et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 3, issn 0164-0925, 11.1-11.35Article

Fault Injection in ProductionALLSPAW, John.Communications of the ACM. 2012, Vol 55, Num 10, pp 48-52, issn 0001-0782, 5 p.Article

Self-Adaptive Software Needs Quantitative Verification at RuntimeCALINESCU, Radu; GHEZZI, Carlo; KWIATKOWSKA, Marta et al.Communications of the ACM. 2012, Vol 55, Num 9, pp 69-77, issn 0001-0782, 9 p.Article

UML interaction model-driven runtime verification of Java programsLI, X; QIU, X; WANG, L et al.IET software (Print). 2011, Vol 5, Num 2, pp 142-156, issn 1751-8806, 15 p.Article

A Survey of Combinatorial TestingCHANGHAI NIE; LEUNG, Hareton.ACM computing surveys. 2011, Vol 43, Num 2, issn 0360-0300, 11.1-11.29Article

Le référentiel TMMi: un outil pour l'amélioration de l'activité de testCAPELLANO, Vittorio.Génie logiciel (1995). 2011, Num 99, pp 20-23, issn 1265-1397, 4 p.Article

ALTER: Exploiting Breakable Dependences for ParallelizationUDUPA, Abhishek; RAJAN, Kaushik; THIES, William et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 480-491, issn 1523-2867, 12 p.Conference Paper

Accentuating. the Positive: Atomicity Inference and Enforcement Using Correct ExecutionsWEERATUNGE, Dasarath; XIANGYU ZHANG; JAGANATHAN, Suresh et al.ACM SIGPLAN notices. 2011, Vol 46, Num 10, pp 19-34, issn 1523-2867, 16 p.Conference Paper

Points-To Analysis with Efficient Strong UpdatesLHOTAK, Ondrej; CHUNG, Kwok-Chiang Andrew.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 3-15, issn 1523-2867, 13 p.Conference Paper

Software Defect Taxonomy, Analysis and OverviewKARAHROUDY, Ali A; TABRIZI, M. H. N.Software engineering research & preactice. International conferenceWorldComp'2011. 2011, pp 340-345, isbn 1-60132-199-6 1-60132-200-3 1-60132-201-1, 6 p.Conference Paper

Toward Generating Reducible Replay LogsKYU HYUNG LEE; YUNHUI ZHENG; SUMNER, Nick et al.ACM SIGPLAN notices. 2011, Vol 46, Num 6, pp 246-257, issn 1523-2867, 12 p.Conference Paper

Efficient Implementation of (Self-)Reconfigurable SystemsSIGÜENZA-TORTOSA, D. A; HIGUERA-TOLEDANO, M. T; BOTELLA-JUAN, G et al.Parallel and distributed processing techniques and applications. International conferenceWorldComp'2010. 2010, pp 74-80, isbn 1-60132-156-2 1-60132-157-0 1-60132-158-9, 7 p.Conference Paper

Model Checking LOOP ProgramsZINING CAO.Software engineering research & practice. International conferenceWorldComp'2010. 2010, pp 534-540, isbn 1-60132-160-0 1-60132-166-X 1-60132-167-8, 7 p.Conference Paper

Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-Oriented Program AnalysisMIGHT, Matthew; SMARAGDAKIS, Yannis; VAN HORN, David et al.ACM SIGPLAN notices. 2010, Vol 45, Num 6, pp 305-315, issn 1523-2867, 11 p.Conference Paper

Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory InvariantsDILLIG, Isil; DILLIG, Thomas; AIKEN, Alex et al.ACM SIGPLAN notices. 2010, Vol 45, Num 10, pp 397-410, issn 1523-2867, 14 p.Conference Paper

Can we make operating systems reliable and secure?TANENBAUM, Andrew S; HERDER, Jorrit N; BOS, Herbert et al.Computer (Long Beach, CA). 2006, Vol 39, Num 5, pp 44-51, issn 0018-9162, 8 p.Article

An enhanced user authentication scheme for multi-server Internet servicesTSAUR, Woei-Jiunn; WU, Chia-Chun; LEE, Wei-Bin et al.Applied mathematics and computation. 2005, Vol 170, Num 1, pp 258-266, issn 0096-3003, 9 p.Article

Efficient nonce-based remote user authentication scheme using smart cardsLEE, Sung-Woon; KIM, Hyun-Sung; YOO, Kee-Young et al.Applied mathematics and computation. 2005, Vol 167, Num 1, pp 355-361, issn 0096-3003, 7 p.Article

Fault links : Exploring the relationship between module and fault typesHUFFMAN HAYES, Jane; INIES RAPHAEL, C. M; VINOD KUMAR SURISETTY et al.Lecture notes in computer science. 2005, pp 415-434, issn 0302-9743, isbn 3-540-25723-3, 20 p.Conference Paper

COMPAS : Compressed test pattern sequencer for scan based circuitsNOVAK, Ondrej; ZAHRADKA, Jiff; PLIVA, Zdenek et al.Lecture notes in computer science. 2005, pp 403-414, issn 0302-9743, isbn 3-540-25723-3, 12 p.Conference Paper