Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu

Source URL: users.ece.cmu.edu

• Software
• Software testing
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Software metrics
• Control flow graph
• KeY
• Code coverage
• Algorithm
• Data-flow analysis
• GNU Core Utilities

「オープンソース」とは何か GNU Project 八田 真行 <> http://www.debian.or.jp/~mhatta/osway20021220.mgp そもそも「ソフトウェア」とは何か ハックの対象じゃないの?

Source URL: osdn.co.jp

MVAPICH2-X 2.1 User Guide MVAPICH T EAM N ETWORK -BASED C OMPUTING L ABORATORY D EPARTMENT OF C OMPUTER S CIENCE AND E NGINEERING

Source URL: mvapich.cse.ohio-state.edu

• Computing
• Computer programming
• Parallel computing
• Software
• MVAPICH
• Message Passing Interface
• Partitioned global address space
• SHMEM
• Unified Parallel C
• OpenMP
• GNU Compiler Collection
• X86-64

WIDE Technical-Report inwija: an Open and Extensible Messaging Platform on the Internet wide-tr-ideon-wija-platform-00.pdf

Source URL: member.wide.ad.jp

• Software
• Computing
• Instant messaging
• XMPP
• Cross-platform software
• Videotelephony
• Online chat
• Jabberd14
• GNU Privacy Guard
• Google Talk
• Windows Live Messenger
• Service discovery

Crypto year in review Sept 2014 Bill Ricker for BLU.org Size matters *Current recommended key sizes.*

Source URL: blu.org

• Cryptography
• Cryptographic software
• Key management
• Internet security
• Transport Layer Security
• Public-key cryptography
• GNU Privacy Guard
• OpenSSL
• Key server
• Key
• Heartbleed
• Common Vulnerabilities and Exposures

URISA JOURNAL COPYRIGHT RELEASE This release form, appropriately completed and signed, must accompany papers submitted to the URISA Journal. Author Name ____________________________________________________________ Addres

Source URL: www.urisa.org

• Copyleft
• Free and open-source software licenses
• Computing
• Information
• Urban and Regional Information Systems Association
• Copyright law
• Copyright
• Publication
• GNU General Public License
• Free content
• Open access
• Publishing

GLIMSView Plugin HowTo Dan Mingus June 2003 PRELUDE: Developing plugins for GLIMSView is a slightly advanced topic. It will require a programmer with an understanding of DLLs and shared libraries for the targeted

Source URL: www.glims.org

• Software
• Computer programming
• Compilers
• GNU Compiler Collection
• Dynamic-link library
• D
• NPAPI
• Embedding Rich Media

Semi-Automated Debugging via Binary Search through a Process Lifetime Kapil Arya ∗ Tyler Denniston∗

Source URL: www.ccs.neu.edu

• Software
• Computer programming
• Debuggers
• Debugging
• Cross-platform software
• GNU Debugger
• RR
• Breakpoint
• D
• MySQL
• Segmentation fault
• Algorithm

MAD2013 Multicore debugging from a SW compiler perspective Marco Roodzant, ACE Associated Compiler Experts

Source URL: www.mad-workshop.de

• Software
• Computer programming
• Computing
• Compiler construction
• Programming language implementation
• Parallel computing
• Debuggers
• Debugging
• Compiler
• GNU Debugger
• Transputer
• ARC

The LATEX Project Public License LPPL Version 1.3cCopyright 1999, 2002–2008 LATEX3 Project Everyone is allowed to distribute verbatim copies of this license document, but modification of it is not allowed.

Source URL: www.latex-project.org

• Free and open-source software licenses
• LaTeX Project Public License
• TeX
• Copyleft
• Computer law
• GNU Project
• GNU General Public License
• LaTeX
• Linux kernel
• Free content
• Copyright law of the United States
• Derivative work