[Free] BLAST: Berkeley Lazy Abstraction Software Verification Tool
Functional Test
Author
thanhyonga
Date
2012-07-25 05:24
Views
61120603
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 60228345
|
lucaxel | 2021.02.14 | 0 | 60228345 |
| 2400 |
ZeuZ: Test automation framework for Web, Mobile, Desktop, API, and Cloud apps
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 61627678
|
(TestExpert) | 2021.02.04 | 0 | 61627678 |
| 2399 |
Testsigma: Test web, mobile apps, and APIs continuously @ DevOps speed (1)
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 61131522
|
(TestExpert) | 2021.02.04 | 0 | 61131522 |
| 2398 |
Mobile User Equipment Tester
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 61742666
|
(TestExpert) | 2021.02.04 | 0 | 61742666 |
| 2397 |
Katalon TestOps OnPremise (KTOP): TestOps Tool
VTB
|
2020.03.23
|
Votes 0
|
Views 61889802
|
VTB | 2020.03.23 | 0 | 61889802 |
| 2396 |
[Paid] Ranorex Webtestit : UI web tests with Selenium or Protractor
ItSeTsQtB
|
2019.08.08
|
Votes 0
|
Views 61590335
|
ItSeTsQtB | 2019.08.08 | 0 | 61590335 |
| 2395 |
[Paid] Zabbix : Monitor any possible performance metrics and incidents in your network
^Software^
|
2019.07.24
|
Votes 0
|
Views 61549749
|
^Software^ | 2019.07.24 | 0 | 61549749 |
| 2394 |
[Paid] NeoLoad 7.0 : Performance Test APIs to Full Applications
IT-Tester
|
2019.07.24
|
Votes 0
|
Views 60610402
|
IT-Tester | 2019.07.24 | 0 | 60610402 |
| 2393 |
[FREE] Cucumber : behavior-driven development (BDD) tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 58871535
|
IT-Tester | 2019.07.22 | 0 | 58871535 |
| 2392 |
[Free] HTTrack : Website Testing Tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 60901005
|
IT-Tester | 2019.07.22 | 0 | 60901005 |
| 2391 |
Arquillian : Automated integration, functional and acceptance tests for Java
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 60552516
|
IT-Tester | 2019.07.08 | 0 | 60552516 |
| 2390 |
FitNesse : Automated acceptance tests are power tools for fixing a broken requirements process
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 60009919
|
IT-Tester | 2019.07.08 | 0 | 60009919 |
| 2389 |
Hiptest : Continuous Testing Management Platform
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 60644183
|
IT-Tester | 2019.06.26 | 0 | 60644183 |
| 2388 |
[Free] Test Data Generation Tool : DTM Data Generator
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 59513679
|
IT-Tester | 2019.06.26 | 0 | 59513679 |
| 2387 |
[Free] Assertible : API testing tool which concentrates on the automation and reliability
VTB
|
2019.06.21
|
Votes 0
|
Views 61435473
|
VTB | 2019.06.21 | 0 | 61435473 |
| 2386 |
[Free] Rest-Assured : Java Domain-specific language that makes testing REST service
VTB
|
2019.06.21
|
Votes 0
|
Views 61340458
|
VTB | 2019.06.21 | 0 | 61340458 |
| 2385 |
Postman : API Testing Tool (1)
Testersbest
|
2019.06.21
|
Votes 0
|
Views 60971542
|
Testersbest | 2019.06.21 | 0 | 60971542 |
| 2384 |
Robotium: Android UI Testing
Testersbest
|
2019.06.21
|
Votes 1
|
Views 61601808
|
Testersbest | 2019.06.21 | 1 | 61601808 |
| 2383 |
Ranorex : Automation Testing Tool for desktop, web, and mobile applications
Testersbest
|
2019.06.21
|
Votes 0
|
Views 60730866
|
Testersbest | 2019.06.21 | 0 | 60730866 |
| 2382 |
TestingWhiz : Automation Testing Tool for Software, Web, Mobile, Database, Cloud, Web Services and API testing
Testersbest
|
2019.06.21
|
Votes 0
|
Views 61600716
|
Testersbest | 2019.06.21 | 0 | 61600716 |
| 2381 |
Travis CI : Test and Deploy with Confidence
edouwens
|
2018.11.19
|
Votes 0
|
Views 60395258
|
edouwens | 2018.11.19 | 0 | 60395258 |
| 2380 |
QF- Test : automation testing tool that is meant for testing Java and Web GUI application (1)
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 62189969
|
aiitistqb | 2018.10.16 | 0 | 62189969 |
| 2379 |
Wink : Time-based and action-based capture of user actions
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 61582389
|
aiitistqb | 2018.10.16 | 0 | 61582389 |
| 2378 |
Crucible : a web-based application primarily targeting enterprise
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 60920184
|
aiitistqb | 2018.10.16 | 0 | 60920184 |
| 2377 |
Automated Mobile Testing Tools List
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 60198068
|
aiitistqb | 2018.10.16 | 0 | 60198068 |
| 2376 |
SpecFlow : software tool that computer programmers use for testing other software
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 60487515
|
aiitistqb | 2018.10.16 | 0 | 60487515 |
| 2375 |
Ranorex : Test Automation Tools for Complete Awesomeness
Testersbest
|
2018.10.16
|
Votes 0
|
Views 61255308
|
Testersbest | 2018.10.16 | 0 | 61255308 |
| 2374 |
SmartBear : End-to-End Automated Testing for Mobile, Web & Desktop Apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 60977008
|
Testersbest | 2018.10.16 | 0 | 60977008 |
| 2373 |
Bugdojo : Continuous QA for your web apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 60351762
|
Testersbest | 2018.10.16 | 0 | 60351762 |
| 2372 |
TEstNg (5)
kg2031
|
2018.02.28
|
Votes 0
|
Views 60981508
|
kg2031 | 2018.02.28 | 0 | 60981508 |
| 2371 |
Locators (1)
kg2031
|
2018.02.28
|
Votes 0
|
Views 61217979
|
kg2031 | 2018.02.28 | 0 | 61217979 |
| 2370 |
Crystal Reports
nk1
|
2018.02.23
|
Votes 0
|
Views 60785945
|
nk1 | 2018.02.23 | 0 | 60785945 |
| 2369 |
Selenium Learning Tutorial (4)
Dwarika
|
2017.08.28
|
Votes 0
|
Views 60589835
|
Dwarika | 2017.08.28 | 0 | 60589835 |
| 2368 |
[Paid] Module for Binary formats
SoftLogica
|
2017.08.11
|
Votes 0
|
Views 61755019
|
SoftLogica | 2017.08.11 | 0 | 61755019 |
| 2367 |
Getting Started with Selenium IDE
VijayShinde
|
2017.06.09
|
Votes 0
|
Views 61701272
|
VijayShinde | 2017.06.09 | 0 | 61701272 |
| 2366 |
UniPi Is A Powerful Board That Can Control Your Smart Home
TLP
|
2017.04.26
|
Votes 0
|
Views 60524825
|
TLP | 2017.04.26 | 0 | 60524825 |
| 2365 |
what is diff between SVN and GITHUB
vivekjog
|
2017.04.24
|
Votes 0
|
Views 61897616
|
vivekjog | 2017.04.24 | 0 | 61897616 |
| 2364 |
Macro to remove trailing spaces (1)
Christo
|
2017.03.29
|
Votes 0
|
Views 60937523
|
Christo | 2017.03.29 | 0 | 60937523 |
| 2363 |
Comparing 2 work sheets (2)
Christo
|
2017.03.29
|
Votes 0
|
Views 61814560
|
Christo | 2017.03.29 | 0 | 61814560 |
| 2362 |
Tool to generate all combinations of test parameters. (3)
Christo
|
2017.03.29
|
Votes 0
|
Views 60816345
|
Christo | 2017.03.29 | 0 | 60816345 |
| 2361 |
Best Testing Tools of 2014 (2)
kleyzit
|
2017.02.24
|
Votes 0
|
Views 59965138
|
kleyzit | 2017.02.24 | 0 | 59965138 |
| 2360 |
JCrawler (1)
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 60809912
|
Sky Driver | 2017.01.26 | 0 | 60809912 |
| 2359 |
fwptt
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 60183487
|
Sky Driver | 2017.01.26 | 0 | 60183487 |
| 2358 |
AppLoader: Performance Testing for Any Application
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 60672813
|
Sky Driver | 2017.01.26 | 0 | 60672813 |
| 2357 |
LoadStorm
loveelok
|
2017.01.20
|
Votes 0
|
Views 62192791
|
loveelok | 2017.01.20 | 0 | 62192791 |
| 2356 |
SiteBlaster
loveelok
|
2017.01.20
|
Votes 0
|
Views 60280718
|
loveelok | 2017.01.20 | 0 | 60280718 |
| 2355 |
Xceptance LoadTest (1)
loveelok
|
2017.01.20
|
Votes 0
|
Views 60833296
|
loveelok | 2017.01.20 | 0 | 60833296 |
| 2354 |
Test Manager (1)
loveelok
|
2017.01.12
|
Votes 0
|
Views 60639000
|
loveelok | 2017.01.12 | 0 | 60639000 |
| 2353 |
Test Environment Toolkit (1)
master15
|
2017.01.06
|
Votes 0
|
Views 61453710
|
master15 | 2017.01.06 | 0 | 61453710 |
| 2352 |
Burpsuite Pro 1.5.01 (1)
master15
|
2016.12.15
|
Votes 0
|
Views 60247834
|
master15 | 2016.12.15 | 0 | 60247834 |
this is a latest tool to verify code thanks