Articles Électroniques
Permanent URI for this collectionhttp://192.168.16.104:4000/handle/123456789/8886
Browse
Item Abstracting Runtime Heaps for Program Understanding(Institute of electrical and electronics engineers, 2013) Marron, Mark; Sanchez, Cesar; Su, Zhendong; Fahndrich, ManuelItem Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar(Institute of electrical and electronics engineers, 2015) Autili, Marco; Grunske, Lars; Lumpe, Markus; Pelliccione, Patrizio; Tang, AntonyItem Are Slice-Based Cohesion Metrics Actually Useful in Effort-Aware Post-Release Fault-Proneness Prediction? : An Empirical Study(Institute of electrical and electronics engineers, 2015) Yang, Yibiao; Zhou, Yuming; Lu, Hongmin; Chen, Lin; Chen, ZhenyuItem Assessing the Cost Effectiveness of Fault Prediction in Acceptance Testing(Institute of electrical and electronics engineers, 2013) Monden, Akito; Hayashi, Takuma; Shinoda, Shoji; Shirai, Kumiko; Yoshida, JunichiItem Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements : Results from a Family of Five Experiments(Institute of electrical and electronics engineers, 2013) Abrahao, Silvia; Gravino, Carmine; Insfran, Emilio; Scanniello, GiuseppeItem Assessing the Refactorability of Software Clones(Institute of electrical and electronics engineers, 2015) Tsantalis, Nikolaos; Mazinanian, Davood; Krishnan, Giri PanamoottilItem Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters(Institute of electrical and electronics engineers, 2016) Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S.Item Automated API Property Inference Techniques(Institute of electrical and electronics engineers, 2013) Robillard, Martin P.; Bodden, Eric; Kawrykow, David; Mezini, Mira; Ratchford, TristanItem Automated Behavioral Testing of Refactoring Engines(2013) Soares, Gustavo; Gheyi, Rohit; Massoni, TiagoItem Automated Checking of Conformance to Requirements Templates Using Natural Language Processing(Institute of electrical and electronics engineers, 2015) Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, FrankItem Automated Oracle Data Selection Support(Institute of electrical and electronics engineers, 2015) Gay, Gregory; Staats, Matt; Whalen, Michael; Heimdahl, Mats P. E.Item Automatic Detection and Resolution of Lexical Ambiguity in Process Models(Institute of electrical and electronics engineers, 2015) Pittke, Fabian; Leopold, Henrik; Mendling, JanItem BLISS : Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support(Institute of electrical and electronics engineers, 2015) Rosner, Nicolas; Geldenhuys, Jaco; Aguirre, Nazareno M.; Visser, Willem; Frias, Marcelo F.Item Centroidal Voronoi Tessellations—A New Approach to Random Testing(2013) Shahbazi, Ali; Tappenden, Andrew F.; Miller, JamesItem Cina : Suppressing the Detection of Unstable Context Inconsistency(Institute of electrical and electronics engineers, 2015) Xu, Chang; Xi, Wang; Cheung, S.C.; Ma, Xiaoxing; Cao, ChunItem Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support(2013) Piccioni, Marco; Oriol, Manuel; Meyer, BertrandItem Comments on Researcher Bias : The Use of Machine Learning in Software Defect Prediction(Institute of electrical and electronics engineers, 2016) Tantithamthavorn, Chakkrit; McIntosh, Shane; Hassan, Ahmed E.; Matsumoto, KenichiItem Composite Constant Propagation and its Application to Android Program Analysis(Institute of electrical and electronics engineers, 2016) Octeau, Damien; Luchaup, Daniel; Jha, Somesh; McDaniel, PatrickItem Compositional Verification for Hierarchical Scheduling of Real-Time Systems(Institute of electrical and electronics engineers, 2013) Carnevali, Laura; Pinzuti, Alessandro; Vicario, EnricoItem Conservative Bounds for the pfd of a 1-out-of-2 Software-Based System Based on an Assessor's Subjective Probability of "Not Worse Than Independence"(Institute of electrical and electronics engineers, 2013) Littlewood, Bev; Povyakalo, Andrey