Implementation and Testing Tools

2018 ◽  
pp. 167-182
Author(s):  
Rodolfo I. Meneguette ◽  
Robson E. De Grande ◽  
Antonio A. F. Loureiro
Keyword(s):  
Testing Tools

Approach to constructing software unit testing tools

1995 ◽  
Vol 10 (6) ◽  
pp. 245 ◽  
Author(s):  
Gang Luo ◽  
Robert L. Probert ◽  
Hasan Ural
Keyword(s):  
Unit Testing ◽  
Testing Tools

Analysis of Penetration Testing Tools

2017 ◽  
Vol 7 (9) ◽  
pp. 36
Author(s):  
Palak Aar ◽  
Aman Kumar Sharma
Keyword(s):  
Penetration Testing ◽  
Testing Tools ◽  
The Given ◽  
Gain Access

Penetration testing is defined as the procedure of imposing as an attacker to find out the vulnerabilities in a system that can be used to gain access to system for malicious use. This paper provides an overview of penetration testing and list out the criteria used to select the best tools for the given purpose. It also provides a brief description of the selected tools and furthermore we compare those tools. The results of the comparison are shown in terms of graphs and tables.

Engineering Theories with Z3

10.29007/x7b4 ◽  
2018 ◽  
Author(s):  
Nikolaj Bjorner
Keyword(s):  
Satisfiability Modulo Theories ◽  
Smt Solver ◽  
Testing Tools ◽  
Software And Hardware ◽  
Design And Testing

Modern Satisfiability Modulo Theories (SMT)solvers are fundamental to many programanalysis, verification, design and testing tools. They are a goodfit for the domain of software and hardware engineering becausethey support many domains that are commonly used by the tools.The meaning of domains are captured by theories that can beaxiomatized or supported by efficient <i>theory solvers</i>.Nevertheless, not all domains are handled by all solvers andmany domains and theories will never be native to any solver.We here explore different theories that extend MicrosoftResearch's SMT solver Z3's basicsupport. Some can be directly encoded or axiomatized,others make use of user theory plug-ins.Plug-ins are a powerful way for tools to supply their custom domains.

Sign in / Sign up

Export Citation Format

Share Document