Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Detection of Memory Leaks in C/C++ Code via Machine Learning
Andrzejak, Artur, Eichler, Felix, Ghanavati, Mohammad
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware
Resch, Stefan, Paulitsch, Michael
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Message from the WoSoCer Workshop Organizers
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
(01.10.2017)
Get full text
Conference Proceeding
Non-determinism and Failure Modes in Machine Learning
Faria, Jose M.
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
A Rejuvenation Strategy in Android
Caisheng Weng, Dongdong Zhao, Liping Lu, Jianwen Xiang, Chunhui Yang, Dong Li
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
The Automatic Classification of Fault Trigger Based Bug Report
Xiaoting Du, Zheng Zheng, Guanping Xiao, Beibei Yin
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Getting Defect Prediction Into Industrial Practice: the ELFF Tool
Bowes, David, Counsell, Steve, Hall, Tracy, Petric, Jean, Shippey, Thomas
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain
Sagardui, Goiuria, Etxeberria, Leire, Agirre, Joseba A., Arrieta, Aitor, Nicolas, Carlos Fernando, Martin, Jose Maria
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Towards Embedded System Agile Development Challenging Verification, Validation and Accreditation: Application in a Healthcare Company
Duffau, Clement, Grabiec, Bartosz, Blay-Fornarino, Mireille
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Toward an Embedded Multi-agent System Methodology and Positioning on Testing
Barnier, Camille, Aktouf, Oum-El-Kheir, Mercier, Annabelle, Jamont, Jean-Paul
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Principles for Systematic Development of an Assurance Case Template from ISO 26262
Chowdhury, Thomas, Chung-Wei Lin, BaekGyu Kim, Lawford, Mark, Shiraishi, Shinichi, Wassyng, Alan
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Challenges in Certification of Autonomous Driving Systems
Falcini, Fabio, Lami, Giuseppe
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development
Imparato, Alfredo, Maietta, Raffaele Rodolfo, Scala, Stefano, Vacca, Vladimiro
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Diagnosing Development Turbulence in Agile Processes
Chillarege, Ram
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach
Stieber, Harald A., Linghuan Hu, Wong, W. Eric
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
An IDE for the Design, Verification and Implementation of Security Protocols
Garcia, Remi, Modesti, Paolo
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding
A Static Analyzer for Industrial Robotic Applications
Mandal, Avijit, Jetley, Raoul, D'Souza, Meenakshi, Nair, Sreeja
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Published in 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2017)
Get full text
Conference Proceeding