Review your favorite Linux distribution.
Go Back > Forums > Linux Forums > Linux - News > Syndicated Linux News
User Name
Syndicated Linux News This forum is for the discussion of Syndicated Linux News stories.


  Search this Thread
Old 06-09-2014, 12:40 PM   #1
LXer NewsBot
Registered: Dec 2005
Posts: 97,311

Rep: Reputation: 102Reputation: 102
LXer: DARPA gamifies open-source software testing

Published at LXer:

Secret-squirrel military tech bureau DARPA has designed a series of computer games which can help to verify open source software. It is working on the games under the auspices of its Crowd Sourced Formal Verification programme. The idea is to perform the soft of software verification which is generally conducted by technical experts. “There are not enough human experts or available time to demonstrate that software is secure and reliable – so what we’ve done is repackage what human experts would normally do and produce tens of thousands of game levels for players on the internet to play games for us,” Matthew Barry, who is principal investigator at Kestrel Technology, the firm working with DARPA to develop the games, told



Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
LXer: DARPA government research agency publishes catalog of open source projects LXer Syndicated Linux News 0 02-10-2014 10:10 AM
LXer: Weekly wrap-up: DARPA's open source project, Valve announces Linux-powered Steam Machine, and LXer Syndicated Linux News 0 09-27-2013 05:10 PM
LXer: DARPA launches first phase of "open source" vehicle design challenge LXer Syndicated Linux News 0 10-02-2012 08:11 PM
About testing Open Source Cloud software satimis Linux - General 4 05-22-2012 10:25 PM
LXer: Tibco Intros Open Source Suite for Testing AJAX Software LXer Syndicated Linux News 0 04-02-2007 10:31 PM > Forums > Linux Forums > Linux - News > Syndicated Linux News

All times are GMT -5. The time now is 01:29 PM.

Main Menu
Write for LQ is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration