Back to Results
First PageMeta Content
Higher-order functions / Search algorithms / Data types / Type theory / Enumerated type / Backtracking / Generator / Brute-force search / Combinatory logic / Computing / Software engineering / Computer programming


SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test
Add to Reading List

Document Date: 2014-09-13 07:09:29

Open Document

File Size: 244,31 KB

Share Result on Facebook

City

Uppsala / /

Company

SciFe / /

Country

Sweden / /

Currency

USD / /

IndustryTerm

software engineering / external tool / highperformance tool / search trees / valid binary search trees / model-checking tools / binary search / binary search tree data / binary search trees / test generation tools / lightweight tool / Software assurance / unnecessary search space / software verification / /

OperatingSystem

Linux / /

Person

Chandrasekhar Boyapati / David Coppit / Kevin Sullivan / Sarfraz Khurshid / Valerio Senni / Danny Dig / Andreas Leitner / Darko Marinov / Tihomir Gvero / Kely Garcia / Milos Gligoric / Meng Wang / Bertrand Meyer / Ali Sinan / Ilinca Ciupa / Jinlin Yang / Ivan Kuraj / Vilas Jagannath / Colin Runciman / John Hughes / Viktor Kuncak / Koen Claessen / Brett Daniel / Philippe Suter / Manuel Oriol / Ruzica Piskac / Fabio Fioravanti / Daniel Jackson / Etienne Kneuss / /

Position

rt / /

ProgrammingLanguage

Haskell / Java / Scala / /

Technology

functional programming / Java / Linux / Random access / DSL / /

URL

http /

SocialTag