JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31980-1_37 ◽

2005 ◽

pp. 551-556 ◽

Cited By ~ 10

Author(s):

Fabrice Bouquet ◽

Frédéric Dadeau ◽

Bruno Legeard ◽

Mark Utting

Keyword(s):

Testing Tools

Download Full-text

Approach to constructing software unit testing tools

Software Engineering Journal ◽

10.1049/sej.1995.0029 ◽

1995 ◽

Vol 10 (6) ◽

pp. 245 ◽

Cited By ~ 2

Author(s):

Gang Luo ◽

Robert L. Probert ◽

Hasan Ural

Keyword(s):

Unit Testing ◽

Testing Tools

Download Full-text

Analysis of Penetration Testing Tools

International Journal of Advanced Research in Computer Science and Software Engineering ◽

10.23956/ijarcsse.v7i9.408 ◽

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.

Download Full-text

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.

Download Full-text