[Free] Spin : Formal verification of distributed software systems.
Functional Test
Author
Mr.Jung
Date
2012-05-16 05:06
Views
10118735
http://spinroot.com/spin/whatispin.html
Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field. In April 2002 the tool was awarded the prestigious System Software Award for 2001 by the ACM.
Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field. In April 2002 the tool was awarded the prestigious System Software Award for 2001 by the ACM.
Total 0
You must be logged in to post a comment.
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 9490281
|
lucaxel | 2021.02.14 | 0 | 9490281 |
| 2400 |
ZeuZ: Test automation framework for Web, Mobile, Desktop, API, and Cloud apps
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 9628597
|
(TestExpert) | 2021.02.04 | 0 | 9628597 |
| 2399 |
Testsigma: Test web, mobile apps, and APIs continuously @ DevOps speed (1)
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 9828007
|
(TestExpert) | 2021.02.04 | 0 | 9828007 |
| 2398 |
Mobile User Equipment Tester
(TestExpert)
|
2021.02.04
|
Votes 0
|
Views 10023078
|
(TestExpert) | 2021.02.04 | 0 | 10023078 |
| 2397 |
Katalon TestOps OnPremise (KTOP): TestOps Tool
VTB
|
2020.03.23
|
Votes 0
|
Views 10130571
|
VTB | 2020.03.23 | 0 | 10130571 |
| 2396 |
[Paid] Ranorex Webtestit : UI web tests with Selenium or Protractor
ItSeTsQtB
|
2019.08.08
|
Votes 0
|
Views 10026418
|
ItSeTsQtB | 2019.08.08 | 0 | 10026418 |
| 2395 |
[Paid] Zabbix : Monitor any possible performance metrics and incidents in your network
^Software^
|
2019.07.24
|
Votes 0
|
Views 10107089
|
^Software^ | 2019.07.24 | 0 | 10107089 |
| 2394 |
[Paid] NeoLoad 7.0 : Performance Test APIs to Full Applications
IT-Tester
|
2019.07.24
|
Votes 0
|
Views 10073098
|
IT-Tester | 2019.07.24 | 0 | 10073098 |
| 2393 |
[FREE] Cucumber : behavior-driven development (BDD) tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 9333018
|
IT-Tester | 2019.07.22 | 0 | 9333018 |
| 2392 |
[Free] HTTrack : Website Testing Tool
IT-Tester
|
2019.07.22
|
Votes 0
|
Views 9657727
|
IT-Tester | 2019.07.22 | 0 | 9657727 |
| 2391 |
Arquillian : Automated integration, functional and acceptance tests for Java
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 9735281
|
IT-Tester | 2019.07.08 | 0 | 9735281 |
| 2390 |
FitNesse : Automated acceptance tests are power tools for fixing a broken requirements process
IT-Tester
|
2019.07.08
|
Votes 0
|
Views 9487073
|
IT-Tester | 2019.07.08 | 0 | 9487073 |
| 2389 |
Hiptest : Continuous Testing Management Platform
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 9670008
|
IT-Tester | 2019.06.26 | 0 | 9670008 |
| 2388 |
[Free] Test Data Generation Tool : DTM Data Generator
IT-Tester
|
2019.06.26
|
Votes 0
|
Views 9675986
|
IT-Tester | 2019.06.26 | 0 | 9675986 |
| 2387 |
[Free] Assertible : API testing tool which concentrates on the automation and reliability
VTB
|
2019.06.21
|
Votes 0
|
Views 10192340
|
VTB | 2019.06.21 | 0 | 10192340 |
| 2386 |
[Free] Rest-Assured : Java Domain-specific language that makes testing REST service
VTB
|
2019.06.21
|
Votes 0
|
Views 10254615
|
VTB | 2019.06.21 | 0 | 10254615 |
| 2385 |
Postman : API Testing Tool (1)
Testersbest
|
2019.06.21
|
Votes 0
|
Views 9969315
|
Testersbest | 2019.06.21 | 0 | 9969315 |
| 2384 |
Robotium: Android UI Testing
Testersbest
|
2019.06.21
|
Votes 1
|
Views 9401813
|
Testersbest | 2019.06.21 | 1 | 9401813 |
| 2383 |
Ranorex : Automation Testing Tool for desktop, web, and mobile applications
Testersbest
|
2019.06.21
|
Votes 0
|
Views 9599682
|
Testersbest | 2019.06.21 | 0 | 9599682 |
| 2382 |
TestingWhiz : Automation Testing Tool for Software, Web, Mobile, Database, Cloud, Web Services and API testing
Testersbest
|
2019.06.21
|
Votes 0
|
Views 10014829
|
Testersbest | 2019.06.21 | 0 | 10014829 |
| 2381 |
Travis CI : Test and Deploy with Confidence
edouwens
|
2018.11.19
|
Votes 0
|
Views 9597443
|
edouwens | 2018.11.19 | 0 | 9597443 |
| 2380 |
QF- Test : automation testing tool that is meant for testing Java and Web GUI application (1)
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 9631323
|
aiitistqb | 2018.10.16 | 0 | 9631323 |
| 2379 |
Wink : Time-based and action-based capture of user actions
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 9766581
|
aiitistqb | 2018.10.16 | 0 | 9766581 |
| 2378 |
Crucible : a web-based application primarily targeting enterprise
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 9821475
|
aiitistqb | 2018.10.16 | 0 | 9821475 |
| 2377 |
Automated Mobile Testing Tools List
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 9804886
|
aiitistqb | 2018.10.16 | 0 | 9804886 |
| 2376 |
SpecFlow : software tool that computer programmers use for testing other software
aiitistqb
|
2018.10.16
|
Votes 0
|
Views 10121240
|
aiitistqb | 2018.10.16 | 0 | 10121240 |
| 2375 |
Ranorex : Test Automation Tools for Complete Awesomeness
Testersbest
|
2018.10.16
|
Votes 0
|
Views 9840140
|
Testersbest | 2018.10.16 | 0 | 9840140 |
| 2374 |
SmartBear : End-to-End Automated Testing for Mobile, Web & Desktop Apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 9651738
|
Testersbest | 2018.10.16 | 0 | 9651738 |
| 2373 |
Bugdojo : Continuous QA for your web apps
Testersbest
|
2018.10.16
|
Votes 0
|
Views 9962626
|
Testersbest | 2018.10.16 | 0 | 9962626 |
| 2372 |
TEstNg (5)
kg2031
|
2018.02.28
|
Votes 0
|
Views 9670673
|
kg2031 | 2018.02.28 | 0 | 9670673 |
| 2371 |
Locators (1)
kg2031
|
2018.02.28
|
Votes 0
|
Views 9715489
|
kg2031 | 2018.02.28 | 0 | 9715489 |
| 2370 |
Crystal Reports
nk1
|
2018.02.23
|
Votes 0
|
Views 9509588
|
nk1 | 2018.02.23 | 0 | 9509588 |
| 2369 |
Selenium Learning Tutorial (4)
Dwarika
|
2017.08.28
|
Votes 0
|
Views 9775198
|
Dwarika | 2017.08.28 | 0 | 9775198 |
| 2368 |
[Paid] Module for Binary formats
SoftLogica
|
2017.08.11
|
Votes 0
|
Views 9712617
|
SoftLogica | 2017.08.11 | 0 | 9712617 |
| 2367 |
Getting Started with Selenium IDE
VijayShinde
|
2017.06.09
|
Votes 0
|
Views 9759666
|
VijayShinde | 2017.06.09 | 0 | 9759666 |
| 2366 |
UniPi Is A Powerful Board That Can Control Your Smart Home
TLP
|
2017.04.26
|
Votes 0
|
Views 9763247
|
TLP | 2017.04.26 | 0 | 9763247 |
| 2365 |
what is diff between SVN and GITHUB
vivekjog
|
2017.04.24
|
Votes 0
|
Views 10321059
|
vivekjog | 2017.04.24 | 0 | 10321059 |
| 2364 |
Macro to remove trailing spaces (1)
Christo
|
2017.03.29
|
Votes 0
|
Views 9444595
|
Christo | 2017.03.29 | 0 | 9444595 |
| 2363 |
Comparing 2 work sheets (2)
Christo
|
2017.03.29
|
Votes 0
|
Views 9953527
|
Christo | 2017.03.29 | 0 | 9953527 |
| 2362 |
Tool to generate all combinations of test parameters. (3)
Christo
|
2017.03.29
|
Votes 0
|
Views 9444678
|
Christo | 2017.03.29 | 0 | 9444678 |
| 2361 |
Best Testing Tools of 2014 (2)
kleyzit
|
2017.02.24
|
Votes 0
|
Views 9714037
|
kleyzit | 2017.02.24 | 0 | 9714037 |
| 2360 |
JCrawler (1)
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 9666626
|
Sky Driver | 2017.01.26 | 0 | 9666626 |
| 2359 |
fwptt
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 9667293
|
Sky Driver | 2017.01.26 | 0 | 9667293 |
| 2358 |
AppLoader: Performance Testing for Any Application
Sky Driver
|
2017.01.26
|
Votes 0
|
Views 9382085
|
Sky Driver | 2017.01.26 | 0 | 9382085 |
| 2357 |
LoadStorm
loveelok
|
2017.01.20
|
Votes 0
|
Views 10014182
|
loveelok | 2017.01.20 | 0 | 10014182 |
| 2356 |
SiteBlaster
loveelok
|
2017.01.20
|
Votes 0
|
Views 9270513
|
loveelok | 2017.01.20 | 0 | 9270513 |
| 2355 |
Xceptance LoadTest (1)
loveelok
|
2017.01.20
|
Votes 0
|
Views 9349528
|
loveelok | 2017.01.20 | 0 | 9349528 |
| 2354 |
Test Manager (1)
loveelok
|
2017.01.12
|
Votes 0
|
Views 9222670
|
loveelok | 2017.01.12 | 0 | 9222670 |
| 2353 |
Test Environment Toolkit (1)
master15
|
2017.01.06
|
Votes 0
|
Views 10307961
|
master15 | 2017.01.06 | 0 | 10307961 |
| 2352 |
Burpsuite Pro 1.5.01 (1)
master15
|
2016.12.15
|
Votes 0
|
Views 9476846
|
master15 | 2016.12.15 | 0 | 9476846 |