José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini
Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods
SEFM, 2010.

@proceedings{SEFM-2010,
	address       = "Pisa, Italy",
	editor        = "José Luiz Fiadeiro and Stefania Gnesi and Andrea Maggiolo-Schettini",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2010/4153/00/index.html",
	isbn          = "978-0-7695-4153-2",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods}",
	year          = 2010,
}

Contents (34 items)

5 ×#verification
4 ×#behaviour
4 ×#testing
4 ×#using
3 ×#analysis
3 ×#design
3 ×#modelling
3 ×#specification
2 ×#approach
2 ×#architecture

SEFM-2010-Ghezzi #adaptation #verification

Adaptive Software Needs Continuous Verification (CG), pp. 3–4.

SEFM-2010-Giannakopoulou #quote #verification

“Fly Me to the Moon”: Verification of Aerospace Systems (DG), pp. 5–11.

SEFM-2010-Pavlovic #effectiveness #overview #perspective #security

The Unreasonable Ineffectiveness of Security Engineering: An Overview (DP), pp. 12–18.

SEFM-2010-Lindsay #behaviour #re-engineering

Behavior Trees: From Systems Engineering to Software Engineering (PAL), pp. 21–30.

SEFM-2010-Powell #analysis #behaviour #modelling #scalability

Behavior Engineering — A Scalable Modeling and Analysis Method (DP), pp. 31–40.

SEFM-2010-WinterHC #behaviour #requirements

Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.

SEFM-2010-DanHC

Non-local Choice and Implied Scenarios (HD, RMH, SC), pp. 53–62.

SEFM-2010-HussainL #ml #named #runtime #specification

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties (FH, GTL), pp. 63–72.

SEFM-2010-KatzK #query #refinement #specification

User Queries for Specification Refinement Treating Shared Aspect Join Points (EK, SK), pp. 73–82.

SEFM-2010-KermadecDB #modelling #quality

Assessing the Quality of B Models (ADK, FD, FB), pp. 83–90.

SEFM-2010-BarrosCHP #graph #slicing

Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.

SEFM-2010-ScannielloRT #architecture #empirical #evaluation #semantics #using

Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation (GS, MR, GT), pp. 103–112.

SEFM-2010-TudoseO #design pattern #execution #symbolic computation #testing #using

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution (CT, RO), pp. 113–117.

SEFM-2010-XuZC #context-free grammar #generative #tool support

A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.

SEFM-2010-KokashKV #analysis #modelling #visual notation

Time and Data-Aware Analysis of Graphical Service Models in Reo (NK, CK, EPdV), pp. 125–134.

SEFM-2010-LeuxnerSS #formal method

A Formal Model for Work Flows (CL, WS, BS), pp. 135–144.

SEFM-2010-HegedusBRV #model transformation #simulation

Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.

SEFM-2010-MetayerMP #architecture #design

Designing Log Architectures for Legal Evidence (DLM, EM, MLP), pp. 156–165.

SEFM-2010-MassinkLBH #algebra #analysis #approach #process #scalability

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis (MM, DL, AB, MDH), pp. 169–180.

SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using

Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.

SEFM-2010-BenettiMV #ad hoc #model checking #network #protocol

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA (DB, MM, LV), pp. 191–202.

SEFM-2010-GoldsmithC #graph

Refinement-Friendly Bigraphs and Spygraphs (MG, SC), pp. 203–207.

SEFM-2010-GallardoS #calculus #verification #μ-calculus

Verification of Dynamic Data Tree with μ-calculus Extended with Separation (MdMG, DS), pp. 211–221.

SEFM-2010-BarnatBR #parallel #partial order #reduction

Parallel Partial Order Reduction with Topological Sort Proviso (JB, LB, PR), pp. 222–231.

SEFM-2010-WeitlNF #logic

Structured Counterexamples for the Temporal Description Logic ALCCTL (FW, SN, BF), pp. 232–243.

SEFM-2010-BersaniCFPR #constraints #integer #ltl #runtime #smt #specification #verification

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability (MMB, LC, AF, MP, MR), pp. 244–254.

SEFM-2010-EscobedoGGC #approach #testing #web #web service

Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.

SEFM-2010-CristiaAM #detection #framework #testing

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions (MC, PA, PRM), pp. 268–277.

SEFM-2010-LarsenLB #combinator #testing

Combinatorial Testing for VDM (PGL, KL, NB), pp. 278–285.

SEFM-2010-GallerWW #contract #design

Synthesize It: From Design by Contract to Meaningful Test Input Data (SJG, MW, FW), pp. 286–295.

SEFM-2010-HakimipourSW #java #named #realtime

TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.

SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.

SEFM-2010-WeiWB #design

A Timed Model of Circus with the Reactive Design Miracle (KW, JW, AB), pp. 315–319.

SEFM-2010-BartolettiZ

Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.