[Free] BLAST: Berkeley Lazy Abstraction Software Verification Tool
Functional Test
Author
thanhyonga
Date
2012-07-25 05:24
Views
67296481
http://mtc.epfl.ch/software-tools/blast/index-epfl.php
BLAST is a software model checker for C programs. The goal of BLAST is to be able to check that software satisfies behavioral properties of the interfaces it uses. BLAST uses counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties. The abstraction is constructed on-the-fly, and only to the required precision.
The first version of BLAST was developed at UC Berkeley by Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre and was supported by the US National Science Foundation.
BLAST is a software model checker for C programs. The goal of BLAST is to be able to check that software satisfies behavioral properties of the interfaces it uses. BLAST uses counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties. The abstraction is constructed on-the-fly, and only to the required precision.
The first version of BLAST was developed at UC Berkeley by Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre and was supported by the US National Science Foundation.
Total 2,401
- All
- Acceptance Testing
- Agile
- Bug Tracking
- Capture Tool
- Code Review
- Database Testing
- Embed/Mobile Testing
- Functional Test
- GUI
- Usability Testing
- HP
- IBM
- Java Testing
- Microfocus
- Network Testing
- Performance Test
- Security Testing
- Selenium
- Test Automation
- Test Metrics
- Test Data
- Test Case Management
- Unit Testing
- Test Management
- Web Testing
| Number | Title | Author | Date | Votes | Views |
| 2401 |
Running Selenium from jMeter
lucaxel
|
2021.02.14
|
Votes 0
|
Views 66300855
|
lucaxel | 2021.02.14 | 0 | 66300855 |
| 2400 |
ZeuZ: Test automation framework for Web, Mobile, Desktop, API, and Cloud apps
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 67675285
|
(TestExpert) | 2021.02.04 | 0 | 67675285 |
| 2399 |
Testsigma: Test web, mobile apps, and APIs continuously @ DevOps speed (1)
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 67426879
|
(TestExpert) | 2021.02.04 | 0 | 67426879 |
| 2398 |
Mobile User Equipment Tester
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 68040013
|
(TestExpert) | 2021.02.04 | 0 | 68040013 |
| 2397 |
Katalon TestOps OnPremise (KTOP): TestOps Tool
VTB
|
2020.03.23
|
Votes 0
|
Views 68173815
|
VTB | 2020.03.23 | 0 | 68173815 |
| 2396 |
[Paid] Ranorex Webtestit : UI web tests with Selenium or Protractor
ItSeTsQtB
|
2019.08.08
|
Votes 0
|
Views 67778352
|
ItSeTsQtB | 2019.08.08 | 0 | 67778352 |
| 2395 |
[Paid] Zabbix : Monitor any possible performance metrics and incidents in your network
^Software^
|
2019.07.24
|
Votes 0
|
Views 67608036
|
^Software^ | 2019.07.24 | 0 | 67608036 |
| 2394 |
[Paid] NeoLoad 7.0 : Performance Test APIs to Full Applications
IT-Tester
|
2019.07.24
|
Votes 0
|
Views 66793723
|
IT-Tester | 2019.07.24 | 0 | 66793723 |
| 2393 |
[FREE] Cucumber : behavior-driven development (BDD) tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 65202293
|
IT-Tester | 2019.07.22 | 0 | 65202293 |
| 2392 |
[Free] HTTrack : Website Testing Tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 67421246
|
IT-Tester | 2019.07.22 | 0 | 67421246 |
| 2391 |
Arquillian : Automated integration, functional and acceptance tests for Java
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 66728084
|
IT-Tester | 2019.07.08 | 0 | 66728084 |
| 2390 |
FitNesse : Automated acceptance tests are power tools for fixing a broken requirements process
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 66227967
|
IT-Tester | 2019.07.08 | 0 | 66227967 |
| 2389 |
Hiptest : Continuous Testing Management Platform
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 66963721
|
IT-Tester | 2019.06.26 | 0 | 66963721 |
| 2388 |
[Free] Test Data Generation Tool : DTM Data Generator
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 65980925
|
IT-Tester | 2019.06.26 | 0 | 65980925 |
| 2387 |
[Free] Assertible : API testing tool which concentrates on the automation and reliability
VTB
|
2019.06.21
|
Votes 0
|
Views 67735465
|
VTB | 2019.06.21 | 0 | 67735465 |
| 2386 |
[Free] Rest-Assured : Java Domain-specific language that makes testing REST service
VTB
|
2019.06.21
|
Votes 0
|
Views 67593333
|
VTB | 2019.06.21 | 0 | 67593333 |
| 2385 |
Postman : API Testing Tool (1)
Testersbest
|
2019.06.21
|
Votes 0
|
Views 67385281
|
Testersbest | 2019.06.21 | 0 | 67385281 |
| 2384 |
Robotium: Android UI Testing
Testersbest
|
2019.06.21
|
Votes 1
|
Views 67875607
|
Testersbest | 2019.06.21 | 1 | 67875607 |
| 2383 |
Ranorex : Automation Testing Tool for desktop, web, and mobile applications
Testersbest
|
2019.06.21
|
Votes 0
|
Views 66956392
|
Testersbest | 2019.06.21 | 0 | 66956392 |
| 2382 |
TestingWhiz : Automation Testing Tool for Software, Web, Mobile, Database, Cloud, Web Services and API testing
Testersbest
|
2019.06.21
|
Votes 0
|
Views 68024169
|
Testersbest | 2019.06.21 | 0 | 68024169 |
| 2381 |
Travis CI : Test and Deploy with Confidence
edouwens
|
2018.11.19
|
Votes 0
|
Views 66756516
|
edouwens | 2018.11.19 | 0 | 66756516 |
| 2380 |
QF- Test : automation testing tool that is meant for testing Java and Web GUI application (1)
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 68350215
|
aiitistqb | 2018.10.16 | 0 | 68350215 |
| 2379 |
Wink : Time-based and action-based capture of user actions
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 67862821
|
aiitistqb | 2018.10.16 | 0 | 67862821 |
| 2378 |
Crucible : a web-based application primarily targeting enterprise
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 66881583
|
aiitistqb | 2018.10.16 | 0 | 66881583 |
| 2377 |
Automated Mobile Testing Tools List
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 66455980
|
aiitistqb | 2018.10.16 | 0 | 66455980 |
| 2376 |
SpecFlow : software tool that computer programmers use for testing other software
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 66820200
|
aiitistqb | 2018.10.16 | 0 | 66820200 |
| 2375 |
Ranorex : Test Automation Tools for Complete Awesomeness
Testersbest
|
2018.10.16
|
Votes 0
|
Views 67232647
|
Testersbest | 2018.10.16 | 0 | 67232647 |
| 2374 |
SmartBear : End-to-End Automated Testing for Mobile, Web & Desktop Apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 67260144
|
Testersbest | 2018.10.16 | 0 | 67260144 |
| 2373 |
Bugdojo : Continuous QA for your web apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 66541756
|
Testersbest | 2018.10.16 | 0 | 66541756 |
| 2372 |
TEstNg (5)
kg2031
|
2018.02.28
|
Votes 0
|
Views 67253977
|
kg2031 | 2018.02.28 | 0 | 67253977 |
| 2371 |
Locators (1)
kg2031
|
2018.02.28
|
Votes 0
|
Views 67574591
|
kg2031 | 2018.02.28 | 0 | 67574591 |
| 2370 |
Crystal Reports
nk1
|
2018.02.23
|
Votes 0
|
Views 67043479
|
nk1 | 2018.02.23 | 0 | 67043479 |
| 2369 |
Selenium Learning Tutorial (4)
Dwarika
|
2017.08.28
|
Votes 0
|
Views 66810873
|
Dwarika | 2017.08.28 | 0 | 66810873 |
| 2368 |
[Paid] Module for Binary formats
SoftLogica
|
2017.08.11
|
Votes 0
|
Views 68262293
|
SoftLogica | 2017.08.11 | 0 | 68262293 |
| 2367 |
Getting Started with Selenium IDE
VijayShinde
|
2017.06.09
|
Votes 0
|
Views 68250863
|
VijayShinde | 2017.06.09 | 0 | 68250863 |
| 2366 |
UniPi Is A Powerful Board That Can Control Your Smart Home
TLP
|
2017.04.26
|
Votes 0
|
Views 66588101
|
TLP | 2017.04.26 | 0 | 66588101 |
| 2365 |
what is diff between SVN and GITHUB
vivekjog
|
2017.04.24
|
Votes 0
|
Views 68119259
|
vivekjog | 2017.04.24 | 0 | 68119259 |
| 2364 |
Macro to remove trailing spaces (1)
Christo
|
2017.03.29
|
Votes 0
|
Views 66828133
|
Christo | 2017.03.29 | 0 | 66828133 |
| 2363 |
Comparing 2 work sheets (2)
Christo
|
2017.03.29
|
Votes 0
|
Views 68493203
|
Christo | 2017.03.29 | 0 | 68493203 |
| 2362 |
Tool to generate all combinations of test parameters. (3)
Christo
|
2017.03.29
|
Votes 0
|
Views 67165772
|
Christo | 2017.03.29 | 0 | 67165772 |
| 2361 |
Best Testing Tools of 2014 (2)
kleyzit
|
2017.02.24
|
Votes 0
|
Views 65896021
|
kleyzit | 2017.02.24 | 0 | 65896021 |
| 2360 |
JCrawler (1)
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 66997338
|
Sky Driver | 2017.01.26 | 0 | 66997338 |
| 2359 |
fwptt
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 66320415
|
Sky Driver | 2017.01.26 | 0 | 66320415 |
| 2358 |
AppLoader: Performance Testing for Any Application
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 67005937
|
Sky Driver | 2017.01.26 | 0 | 67005937 |
| 2357 |
LoadStorm
loveelok
|
2017.01.20
|
Votes 0
|
Views 68393278
|
loveelok | 2017.01.20 | 0 | 68393278 |
| 2356 |
SiteBlaster
loveelok
|
2017.01.20
|
Votes 0
|
Views 66388447
|
loveelok | 2017.01.20 | 0 | 66388447 |
| 2355 |
Xceptance LoadTest (1)
loveelok
|
2017.01.20
|
Votes 0
|
Views 67613762
|
loveelok | 2017.01.20 | 0 | 67613762 |
| 2354 |
Test Manager (1)
loveelok
|
2017.01.12
|
Votes 0
|
Views 67016277
|
loveelok | 2017.01.12 | 0 | 67016277 |
| 2353 |
Test Environment Toolkit (1)
master15
|
2017.01.06
|
Votes 0
|
Views 67469347
|
master15 | 2017.01.06 | 0 | 67469347 |
| 2352 |
Burpsuite Pro 1.5.01 (1)
master15
|
2016.12.15
|
Votes 0
|
Views 66421154
|
master15 | 2016.12.15 | 0 | 66421154 |
this is a latest tool to verify code thanks