shimomura's specification [7 articles] Export

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

Hide details

	Patterns in property specifications for finite-state verification [My Copy] In In Proceedings of the 21st International Conference on Software Engineering (1999), pp. 411-420. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to 1999 modelchecking property specification verification by shimomura on 2009-02-12 01:48:55 as
	Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties [My Copy] Interactive Systems Design, Specification, and Verification (2001), pp. 135-150. by Fabio Paternò, Carmen Santoro posted to 2001 gui modelchecking specification verification by shimomura on 2009-02-04 13:42:12 as
	Model Checking Interactor Specifications [My Copy] Automated Software Engineering, Vol. 8, No. 3. (2001), pp. 275-310. by José C. Campos, Michael D. Harrison posted to 2004 gui modelchecking specification verification by shimomura on 2009-02-04 13:37:26 as
	Automated test oracles for GUIs [My Copy] (2000) by Atif M. Memon, Martha E. Pollack, Mary L. Soffa posted to gui read specification testing verification by shimomura on 2008-09-12 01:31:18 as
	Specification-driven automated testing of GUI-based Java programs [My Copy] In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference (2004), pp. 140-145. by Yanhong Sun, Edward L. Jones posted to 2004 gui java read specification testing by shimomura on 2008-09-09 10:58:05 as
	Specification and Verification Using Dependent Types [My Copy] IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964. by F. K. Hanna, N. Daeche, M. Longley posted to 1990 dependenttype specification type verification by shimomura on 2008-07-14 00:51:06 as along with 1 person msakai
	Formal Modelling of Java GUI Event Handling [My Copy] Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370. by Jessica Chen posted to 2002 gui modelchecking specification by shimomura on 2008-04-07 22:36:11 as along with 1 person keigoi

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

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 specification [7 articles] Export

shimomura's tags