sir.unl.edu sir.unl.edu

sir.unl.edu

Software-artifact Infrastructure Repository: Home

SIR Users and Publications. Welcome to the Software-artifact Infrastructure Repository (SIR) for experimentation. SIR is a repository of software-related artifacts meant to support rigorous controlled experimentation with program analysis and software testing techniques, and education in controlled experimentation. We make these materials available to all who wish to access them, provided they register with us, and agree to the terms in our SIR license. The links at left provide further information.

http://sir.unl.edu/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR SIR.UNL.EDU

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

January

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Sunday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 3.7 out of 5 with 11 reviews
5 star
4
4 star
2
3 star
4
2 star
0
1 star
1

Hey there! Start your review of sir.unl.edu

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.9 seconds

FAVICON PREVIEW

  • sir.unl.edu

    16x16

CONTACTS AT SIR.UNL.EDU

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

SCORE

6.2

PAGE TITLE
Software-artifact Infrastructure Repository: Home | sir.unl.edu Reviews
<META>
DESCRIPTION
SIR Users and Publications. Welcome to the Software-artifact Infrastructure Repository (SIR) for experimentation. SIR is a repository of software-related artifacts meant to support rigorous controlled experimentation with program analysis and software testing techniques, and education in controlled experimentation. We make these materials available to all who wish to access them, provided they register with us, and agree to the terms in our SIR license. The links at left provide further information.
<META>
KEYWORDS
1 subject infrastructure repository
2 get access
3 sir software objects
4 frequently asked questions
5 repository license
6 acknowledgments
7 dagger;
8 adam ashenfelter
9 yuriy brun
10 sean callan
CONTENT
Page content here
KEYWORDS ON
PAGE
subject infrastructure repository,get access,sir software objects,frequently asked questions,repository license,acknowledgments,dagger;,adam ashenfelter,yuriy brun,sean callan,soumya chattopadhyay,dan chirica,chengyun chu,desiree dunn,mike ernst,amit goel
SERVER
Apache/2.4.6 (Linux/SUSE)
POWERED BY
PHP/5.6.9,Mono
CONTENT-TYPE
iso-8859-15
GOOGLE PREVIEW

Software-artifact Infrastructure Repository: Home | sir.unl.edu Reviews

https://sir.unl.edu

SIR Users and Publications. Welcome to the Software-artifact Infrastructure Repository (SIR) for experimentation. SIR is a repository of software-related artifacts meant to support rigorous controlled experimentation with program analysis and software testing techniques, and education in controlled experimentation. We make these materials available to all who wish to access them, provided they register with us, and agree to the terms in our SIR license. The links at left provide further information.

INTERNAL PAGES

sir.unl.edu sir.unl.edu
1

Software-artifact Infrastructure Repository: Acknowledgments

http://sir.unl.edu/portal/acks.php

SIR Users and Publications. The SIR project is in the second of two phases. Phase 2 of the SIR project is being supported by the National Science Foundation under Grants CNS-0958231. Phase 2 Lead Personnel are:. Sarfraz Khurshid, University of Texas - Austin. Darko Marinov, University of Illinois, Urbana-Champaign. Gregg Rothermel, University of Nebraska - Lincoln. Tao Xie, North Carolina State University. Wayne Motycka, University of Nebraska - Lincoln. Phase 1 Lead Personnel were:.

2

Software-artifact Infrastructure Repository: Login

http://sir.unl.edu/php/index.php

To access SIR if you are new to the site. SIR Download and Usage License.

3

Software-artifact Infrastructure Repository: Page Display

http://sir.unl.edu/portal/browser-compatibility.php

Page Display in SIR. As part of the effort to provide the best user experience possible in SIR, we attempt to display pages using currently accepted best practices based on open standards. However, many of the best practices guidelines are only feasible in modern browsers that are compliant with published standards (or nearly so). To address this problem, SIR utilizes adaptive page display based on what it believes are the capabilities of your browser.

4

Software-artifact Infrastructure Repository: SIR Usage Information

http://sir.unl.edu/portal/usage.php

SIR Users and Publications. Aalim Muhammed Salegh College of Engineering. Afeka Tel-Aviv Academic College of Engineering. University of Alcalá. University of Alexandria, Egypt. Ambedkar Institute of Advanced Communication Technologies and Research. American University of Beirut. Amirkabir University of Technology. Anna University, Chennai. Anna University, Coimbatore. Anna University, Tiruchirappalli. Apeejay College of Fine Arts. Atilim University, Turkey. Athens University of Economics and Business.

5

Software-artifact Infrastructure Repository: Object Downloads

http://sir.unl.edu/php/previewfiles.php

SIR Users and Publications. 59846 LOC, 1061. 10459 LOC, 162. Linux version contributed by Muralikrishna Ramanathan, Purdue University. 10068 LOC, 146. Linux version contributed by Muralikrishna Ramanathan, Purdue University. 5680 LOC, 104. 35545 LOC, 268. Ben Liblit, University of Wisconsin for identifying various issues for correction. 726 LOC, 18. Originally created by Tom Ostrand and colleagues at Siemens Corporate Research. 570 LOC, 19. 564 LOC, 21. 412 LOC, 18. 374 LOC, 16. TSL, Ad Hoc. 6199 LOC, 136.

UPGRADE TO PREMIUM TO VIEW 2 MORE

TOTAL PAGES IN THIS WEBSITE

7

LINKS TO THIS WEBSITE

dijkstra.cs.virginia.edu dijkstra.cs.virginia.edu

GenProg | Evolutionary Program Repair

http://dijkstra.cs.virginia.edu/genprog

Applying GenProg to Graphics Shaders. A Human Study of Patch Maintainability. Download Archival Results and Experiment Frameworks. Software maintenance is expensive. GenProg reduces software maintenance costs by automatically producing patches. Repairs) for program defects. GenProg uses genetic programming. To search for repairs. Our evolutionary computation represents candidate repairs as sequences of edits to software source code. Each candidate in a large population is applied to the original prog...

qualitascorpus.com qualitascorpus.com

(Possibly) Frequently Asked Questions

http://www.qualitascorpus.com/docs/faq.html

Possibly) Frequently Asked Questions. Why is there no link to the download site? Is there other work done on the Qualitas Corpus? Some of the systems seem to be missing libraries so they cannot be executed? I want to do studies involving dynamic analysis, can I use the corpus for this. Is there any way I can interactively, or otherwise explore the corpus? I need a collection of systems with specific characteristics. Does the corpus have such? What other software corpora are there? The corpus was designed...

openscience.us openscience.us

tera-PROMISE: Other Open Science Portals

http://openscience.us/other/index.html

McCabe and Halsted 14. Function Points Analysis 4. Other Open Science Portals. If you’d like to suggest a site to add, email us at opensciences.content@gmail.com. Public Library of Science. International Software Benchmarking Standards Group (IBSBSG). Zerlot.cse.nd.edu. Sourcerer.ics.uci.edu. Site design by Mitch Rees-Jones. Supported by the National Science Foundation.

micdel.fr micdel.fr

Mickaël Delahaye: IPEG

http://micdel.fr/ipeg.en.html

IPEG (Infeasible Path Explanation and Generalization) is a proprietary dynamic symbolic execution tool to experiment infeasible path generalization. From a program written in a significant subset of the C language, IPEG is able:. To find the program infeasible paths via symbolic execution;. To analyze path condition to explain path infeasibility;. To generalize a (potentially infinite) family of infeasible paths as an automaton based on the explanation of a single infeasible path;. CEA Colibri, CLP solver.

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL LINKS TO THIS WEBSITE

4

OTHER SITES

sir.u-shimane.ac.jp sir.u-shimane.ac.jp

島根県立大学メディアセンター学術機関リポジトリシステム「USAGI」

島根県立大学メディアセンターでは、学術機関リポジトリシステム USAGI University of Shimane Academic and Global Institution repositor を 構築し、平成22年10月1日 金 に正式公開しました。 学術機関リポジトリシステムとは、学内の研究者に学術術研究成果物 学術雑誌論文、紀要論文等 を、電子的に収集 蓄積し、インターネットを介 して学内外に無料公開するシステムです。 USAGI は論文 学位論文 教員の3つのデータベースから構成されており、論文データベースからは紀要論文等の研究成果が、教員データベースからは本学所属の教員情報を検索することができます。

sir.uibe.edu.cn sir.uibe.edu.cn

国际关系学院-对外经济贸易大学

美国著名学者Hilton L. Root教授来访国际关系学院.

sir.uk.net sir.uk.net

No such site available

The website you are requesting is not hosted on this machine. The site you are trying to reach has been deleted. If this is in error, please contact Webfusion support via http:/ www.webfusion.co.uk/support/.

sir.umbria.it sir.umbria.it

Consorzio S.I.R. Umbria

Legge istitutiva, Statuto, Soci. La Legge Regionale 31 luglio 1998. Regolamento di contabilità. Seminario gratuito su consapevolezza in Rete. Concluso il corso formazione formatori LibreOffice a Gubbio. Il 22 aprile LibreUmbria all’Istituto Zooprofilattico Lazio e Toscana. Workshop su openness venerdì 20 a Ingegneria. Workshop su openness alla facoltà di Economia di Perugia. Il Consorzio S.I.R. Umbria. Il Consorzio degli Enti Locali Umbri per lo sviluppo del Sistema Informativo Regionale. Ai sensi dell'a...

sir.unac.edu.co sir.unac.edu.co

¡Bienvenido a GDU - SIR!

Quieres saber los días de permisos? Clic aquí para ver fechas de permisos. Uso exclusivo: CORPORACIÓN UNIVERSITARIA ADVENTISTA. GDU es un proyecto de grado orientado al desarrollo de aplicaciones desarrolladas por universitarios. Administre el registro de ingreso de personal y visitas a su empresa via web. Administre la correspondencia que recibe para el personal registrado. Junio 19, 2012. GDU and DSI co. Email: gdu.sir@gmail.com. This work is licensed under a.

sir.unl.edu sir.unl.edu

Software-artifact Infrastructure Repository: Home

SIR Users and Publications. Welcome to the Software-artifact Infrastructure Repository (SIR) for experimentation. SIR is a repository of software-related artifacts meant to support rigorous controlled experimentation with program analysis and software testing techniques, and education in controlled experimentation. We make these materials available to all who wish to access them, provided they register with us, and agree to the terms in our SIR license. The links at left provide further information.

sir.usm.cl sir.usm.cl

SIR || UTFSM

sir.uz sir.uz

Система Интернет Рекламы

Узбекистан, г.Ташкент ул. Бабура, 77, офис 313. Реклама от 10 Евро. У Вас есть сайт? SIRuz – сервис Интернет – рекламы в Узбекистане. SIR.uz позволяет выбрать сайт(ы) из представленного списка. И начать показывать Ваш рекламный баннер. Цены на Интернет рекламу. Пользователи видят Ваш баннер, совершают клики по нему и переходят на указанный Вами сайт. Если у Вас нет своей странички - сайта, то сайт БЕСПЛАТНО с Вашим Коммерческим предложением и информацией о компании можно создать здесь.

sir.waw.pl sir.waw.pl

SiR obozy, wyjazdy i wycieczki

Nasza strona ciągle się rozwija. Staramy się w miarę możliwości uzupełniać i tworzyć nowe działy. Zapraszamy do współtworzenia strony - wszelkie korekty i sugestię proszę zgłaszać do webmajstrów. Przygotowujemy się do rajdu:. Już jest Plakat XXI Rajdu. A pod nim niezbędne dokumenty. Zapraszamy na wycieczki rowerowe: dwudniową (14-15 czerwca) oraz w trakcie lekcji SP158 (24 czerwca) - szczegóły u Sira! Szczegóły na plakacie XIX Rajdu. Zdjęcia z XVIII Rajdu. Park Narodowy Bory Tucholskie. Jest juz tegorocz...

sir.william.de.vu sir.william.de.vu

Homepage von Sir William

Homepage von Sir William. Sir - erfahren Sie mehr über sir. Hier finden Sie Informationen zum Thema sir. Kostenlose Domains für alle! Registrieren Sie kostenlos Ihre eigene Domain!

sir.wszp.edu.pl sir.wszp.edu.pl

WSZP - Biuro Sportu i Rekreacji

Biuro Sportu i Rekreacji. Wyższa Szkoła Zarządzania Personelem. Biuro Sportu i Rekreacji WSZP. Zapraszamy na Pokaz Sztuk Walki! W imieniu Wyższej Szkoły Zarzadzania Personelem oraz Biura Sportu, zapraszamy wykładowców, pracowników, studentów oraz absolwentów Uczelni, na Inaugurację Roku Akademickiego 2014-2015 ( 18 X 2014 g.12.00. W trakcie której odbędzie się pokaz Sztuk Walki. Zapraszamy na Warsztaty Sztuk Walki i Samoobrony! Biuro Sportu i Rekreacji WSZP już otwarte! Biuro Sportu i Rekreacji.