Patch It If You Can: Increasing the Efficiency of Patch Generation Using Context by Jinseok Heo, Hohyeon Jeong, Eunseok Lee

Subjects: “…software verification and validation…”
Get full text

Generating Python Mutants From Bug Fixes Using Neural Machine Translation by Sergen Asik, Ugur Yayan

Subjects: Get full text

An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems by Faranak Nejati, Nor Asilah Wati Abdul Hamid, Sina Zangbari Koohi, Zahra Rahmani Zadeh

Subjects: Get full text

Dynamic Forces between the Rails and the Wheels of Railway Vehicle by Zdravko Peran

Subjects: Get full text

Machine learning for function synthesis by Parsert, J

Subjects:

Understanding Counterexamples for Relational Properties with DIbugger by Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert

“…Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. …”
Get full text

Verification of Implementations of Cryptographic Hash Functions by Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun

“…In this paper, we propose a fully automatic software verification framework, VeriHash, that brings software verification to protocol consistency proofs for cryptographic hash function implementations. …”
Get full text

Towards Safe Navigation by Formalizing Navigation Rules by Arne Kreutzmann, Diedrich Wolter, Frank Dylla, Jae Hee Lee

“…We are able to capture complex navigation concepts in an easily comprehensible representation that can direcly be utilized by various bridge systems and that allows for software verification.…”
Get full text

Hardware verification using software analyzers by Mukherjee, R, Kroening, D, Melham, T

“…We investigate the use of modern software verification tools for formal property checking of hardware given in Verilog at register-transfer level. …”

Parallel assignments in software model checking by Ouaknine, J

“…In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations. …”

Why effective proof tool support for Z is hard by Martin, A

Improving Angel's Parallel Operator: Gumtree's Approach by Martin, A, Nickson, R, Utting, M

Linux Driver Verification by D. Beyer, A. K. Petrenko

“…Linux driver verification is a large application area for software verification methods, in particular, for functional, safety, and security verification. …”
Get full text

InterpChecker: Reducing State Space via Interpolations by Duan, Z, Tian, C, Duan, Z, Ong, CL

“…The implementation builds on the open-source, configurable AQ1 software verification tool, CPAChecker.…”

THE SPACE INFORMATION AND CONTROL SYSTEM AVAILABILITY ASSESSMENT CONSIDERING ELIMINATION OF SOFTWARE FAULTS AFTER ON-LINE VERIFICATION by Вячеслав Сергійович Харченко, Юрій Леонідович Поночовний, Артем Володимирович Боярчук, Ілона Олександрівна Черницька, Володимир Станіславович Воронянський

“…The model describes process of on-line software verification considering subsequent elimination of detected software faults. …”
Get full text

Smarter Features, Simpler Learning? by Sarah Winkler, Georg Moser

“…Using ideas adopted in the software verification community, we propose the investigation of more complex, structural features to learn from. …”
Get full text

DepthK: A k-induction verifier based on invariant inference for C programs by Rocha, W, Rocha, H, Ismail, H, Cordeiro, L, Fischer, B

“…DepthK is a software verification tool that employs a proof by induction algorithm that combines k-induction with invariant inference. …”

Generalised Interpolation by Solving Recursion-Free Horn Clauses by Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

“…The main application domain of InterHorn lies in solving interpolation problems arising in software verification. We show how a range of interpolation problems, including path, transition, nested, state/transition and well-founded interpolation can be handled directly by InterHorn. …”
Get full text

Lessons Learned From Microkernel Verification — Specification is the New Bottleneck by Thorsten Bormer, Holger Blasum, Christoph Baumann, Bernhard Beckert

“…Software verification tools have become a lot more powerful in recent years. …”
Get full text

THE RIGID-FLEXIBLE COUPLING VIBRATION CHARACTERISTICS ANALYSIS AND STRUCTURE IMPROVEMENT OF CENTRIFUGAL ELECTRIC SPINDLE by HE QingZhong, WANG YongBin, ZHAO XianDan, WANG YuHao

“…Regarding the new type of centrifugal spinning electric spindle as the research object,the method of rigid-flexible coupling was used to build the dynamic model of electric spindle; On the basis of modern computer simulation technology,the system vibration characteristic analysis was finished by using the combining simulated technique of Adams and Ansys,get the forced vibration amplitude frequency,phase frequency characteristic,then the electric spindle structure was improved,and software verification on the improvement. Experimental results shows: the structure improvement practical and effective.…”
Get full text