shimomura's 2003 [19 articles] Export

Recent papers added to shimomura's library classified by the tag 2003. You can also see everyone's 2003.

	Arrows, Robots, and Functional Reactive Programming [My Copy] Advanced Functional Programming (2003), pp. 159-187. by Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson posted to 2003 arrow frp by shimomura on 2009-06-23 13:01:08 as along with 2 people assad79 red_buttons
	Bogor: an extensible and highly-modular software model checking framework [My Copy] ACM SIGSOFT Software Engineering Notes, Vol. 28, No. 5. (September 2003), pp. 267-276. by Robby, Matthew B. Dwyer, John Hatcliff posted to 2003 bandera modelchecking by shimomura on 2009-02-05 15:12:29 as
	Automated environment generation for software model checking [My Copy] In In Proceedings of the 18th International Conference on Automated Software Engineering (2003), pp. 116-129. by Oksana Tkachuk, Matthew B. Dwyer posted to 2003 bandera modelchecking tool by shimomura on 2009-02-05 14:22:41 as
	Adapting side effects analysis for modular program model checking [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 188-197. by Oksana Tkachuk, Matthew B. Dwyer posted to 2003 analysis bandera modelchecking tool by shimomura on 2009-02-05 14:21:26 as
	To Store or Not to Store [My Copy] Computer Aided Verification (2003), pp. 433-445. by Gerd Behrmann, Kim G. Larsen, Radek Pelánek posted to 2003 modelchecking optimization tool by shimomura on 2009-02-05 14:00:24 as
	航空運航システムにおける時間制約下でのヒューマンエラー防止に関する研究(自動車・交通におけるコミュニケーション&インターフェース : 人にやさしい交通をめざして) [My Copy] Vol. 103 (2003), pp. 49-52. by Kawabe Shinsaku, Karikawa Daisuke, Ishibashi Akira, Takahashi Makoto, Kitamura Masaharu posted to 2003 modelchecking read verification by shimomura on 2009-02-04 07:25:35 as
	Automated Compositional Abstraction Re nement for Concurrent C Programs: A Two-Level Approach [My Copy] by Sagar Chaki, Karen Yorav, Edmund Clarke posted to 2003 blast concurrent modelchecking read verification by shimomura on 2008-10-10 03:18:37 as
	A compositional logic for proving security properties of protocols [My Copy] Journal of Computer Security, Vol. 11 (2003) by Nancy Durgin, John Mitchell, Dusko Pavlovic posted to 2003 pi proof by shimomura on 2008-09-23 16:07:56 as
	Thread-Modular Model Checking [My Copy] Model Checking Software (2003), pp. 624-624. by Cormac Flanagan, Shaz Qadeer posted to 2003 abstraction concurrent modelchecking verification by shimomura on 2008-09-23 14:29:48 as
	Thread-Modular Abstraction Refinement [My Copy] Computer Aided Verification (2003), pp. 262-274. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer posted to 2003 concurrent verification by shimomura on 2008-09-23 14:29:11 as
	Firewall regression testing of GUI sequences and their interactions [My Copy] Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409. by L. White, H. Almezen, S. Sastry posted to 2003 gui testing by shimomura on 2008-09-09 11:45:22 as
	Regression testing of GUIs [My Copy] In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 118-127. by Atif M. Memon, Mary L. Soffa posted to 2003 gui testing by shimomura on 2008-09-09 11:30:34 as along with 1 person kevin3stone
	DART: a framework for regression testing "nightly/daily builds" of GUI applications [My Copy] Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419. by A. Memon, I. Banerjee, N. Hashmi, A. Nagarajan posted to 2003 gui testing by shimomura on 2008-09-09 11:25:22 as
	What Test Oracle Should I Use for Effective GUI Testing? [My Copy] ase, Vol. 0 (2003) by Atif Memon, Ishan Banerjee, Adithya Nagarajan posted to 2003 gui read testing by shimomura on 2008-09-09 11:17:57 as
	Bounded Model Checking [My Copy] ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149. by A. Biere, A. Cimatti, Clarke, O. Strichman, Y. Zhu posted to 2003 modelchecking by shimomura on 2008-07-14 01:28:36 as along with 1 person voronov
	Correspondence assertions for process synchronization in concurrent communications [My Copy] (2003) by E. Bonelli, A. Compagnoni, E. Gunter posted to 2003 sessiontype by shimomura on 2008-05-15 16:20:33 as
	A generic type system for the Pi-calculus [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141. by Atsushi Igarashi, Naoki Kobayashi posted to 2003 modelchecking pi type by shimomura on 2008-05-14 14:37:02 as along with 1 person and 1 group rgrig SRG_at_UCD
	Software Verification with BLAST [My Copy] Model Checking Software (2003), pp. 624-624. by Thomas Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre posted to 2003 blast modelchecking slam by shimomura on 2008-05-14 06:37:15 as along with 2 people streetlightios msakai
	Bounded Model Checking for Past LTL [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 18-33. by Marco Benedetti, Alessandro Cimatti posted to 2003 bounded ltl modelchecking by shimomura on 2008-05-12 09:49:40 as

Note: You may cite this page as: http://www.citeulike.org/user/shimomura/tag/2003

modelchecking	63
read	52
gui	47
verification	33
type	29
haskell	26
testing	21
pi	20
2003	19
2005	19
2002	18
2008	16
2001	15
2006	15
2004	13
2007	13
2000	12
blast	11
concurrent	10
dependenttype	9
slam	9
1999	8
java	8
proof	7
specification	7
1997	6
1998	6
bandera	6
timed	6
arrow	5
automata	5
bounded	5
frp	5
programming	5
sessiontype	5
1993	4
1996	4
abstraction	4
booleanprogram	4
slide	4
tool	4
agda	3
coq	3
epp	3
layout	3
pict	3
software	3
theoremproving	3
ws-cdl	3
1991	2
2009	2
bebop	2
ccs	2
cdl	2
compiler	2
continuation	2
event	2
flow	2
gadt	2
gradualtyping	2
logic	2
modeconfusion	2
resource	2
sat	2
science	2
thread	2
xml	2
1978	1
1981	1
1982	1
1985	1
1987	1
1988	1
1990	1
1992	1
1994	1
1995	1
analysis	1
c	1
caml	1
chr	1
cml	1
deadlock	1
debug	1
designpattern	1
distributed	1
engineer	1
erlang	1
exception	1
functional	1
implementation	1
information	1
javascript	1
linertype	1
ltl	1
meta	1
multicore	1
nepi	1
operationalsematics	1
optimization	1
plan9	1
predicate	1
prolog	1
property	1
python	1
refactoring	1
require	1
scala	1
scheme	1
se	1
secure	1
semantics	1
slicing	1
smtsolver	1
sos	1
swing	1
systemf	1
technicalreport	1
testcasegeneration	1
transformation	1
trs	1
uppaal	1
usability	1
web	1
wxhaskell	1
xslt	1

shimomura's 2003 [19 articles] Export

shimomura's tags