Results 221 to 230 of about 585 (260)

Poster: Fuzz Testing of Quantum Program

2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021
Nowadays, quantum program is widely used and quickly developed. However, the absence of testing methodology restricts their quality. Different input format and operator from traditional program make this issue hard to resolve. In this paper, we present QuanFuzz, a search-based test input generator for quantum program.
Jiyuan Wang, Fuchen Ma, Yu Jiang 0001
openaire   +1 more source

Model-Based Fuzz Testing

2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012
The European ITEA2 project DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) develops under the direction of Fraunhofer FOKUS, Berlin efficient and automated security test methods for security-critical, networked systems in various industrial domains such as industrial automation, banking and ...
openaire   +1 more source

On the Effectiveness of Scheduling Fuzz Testing

2015
With the rapid development of software systems, exploiting software vulnerabilities to invade the system has largely increased. As a result, software security becomes vitally important. Since it is impossible to develop programs without bugs and it is inefficient to test program manually, we need a systematic software testing methods to verify if the ...
Wei-Jun Chen, Hsiao-Rong Tyan, Shih-Kun Huang   +2 more
openaire   +1 more source

Fuzz Testing Projects in Massive Courses

Proceedings of the Third (2016) ACM Conference on Learning @ Scale, 2016
Scaffolded projects with automated feedback are core instructional components of many massive courses. In subjects that include programming, feedback is typically provided by test cases constructed manually by the instructor. This paper explores the effectiveness of fuzz testing, a randomized technique for verifying the behavior of programs.
Sumukh Sridhara, Brian Hou, Jeffrey Lu, John DeNero   +3 more
openaire   +1 more source

Fuzz Testing for Automotive Cyber-Security

2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2018
There is increasing computational complexity within the connected car, and with the advent of autonomous vehicles, how do manufacturers test for cyber-security assurance? The fuzz test is a successful black box testing method that hackers have used to find security weaknesses in various domains.
Daniel S. Fowler, Jeremy W. Bryans, Siraj Ahmed Shaikh, Paul Wooderson   +3 more
openaire   +2 more sources

Fuzz Testing Based on Virtualization Technology

Proceedings of the 2018 International Conference on Computing and Artificial Intelligence, 2018
As people pay more and more attention to software security, the technology of vulnerability mining has gradually become the research hotspot in the industry. Fuzz testing is the mainstream of the vulnerability mining technology. In order to solve the shortcomings of the traditional document fuzz testing, such as efficiency is not high and the function ...
Longbin Zhou, Zhoujun Li 0001
openaire   +1 more source

Fuzz testing in practice: Obstacles and solutions

2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2018
Fuzz testing has helped security researchers and organizations discover a large number of vulnerabilities. Although it is efficient and widely used in industry, hardly any empirical studies and experience exist on the customization of fuzzers to real industrial projects.
Jie Liang 0006, Mingzhe Wang, Yuanliang Chen, Yu Jiang 0001, Renwei Zhang   +4 more
openaire   +1 more source

Systematic Fuzzing and Testing of TLS Libraries

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016
We present TLS-Attacker, an open source framework for evaluating the security of TLS libraries. TLS-Attacker allows security engineers to create custom TLS message flows and arbitrarily modify message contents using a simple interface in order to test the behavior of their libraries.
openaire   +1 more source

Proactive Security Testing and Fuzzing

2010
Software is bound to have security critical flaws, and no testing or code auditing can ensure that software is flaw-less. But software security testing requirements have improved radically during the past years, largely due to criticism from security conscious consumers and Enterprise customers.
openaire   +1 more source

Hermes: A Targeted Fuzz Testing Framework

2015
Security assurance cases (security cases) are used to represent claims for evidence-based assurance of security properties in software. A security case uses evidence to argue that a particular claim is true, e.g., buffer overflows cannot happen. Evidence may be generated with a variety of methods.
Caleb Shortt, Jens H. Weber
openaire   +1 more source