Last update:
Sun Dec 26 09:53:24 MST 2021
Thiago C. de Sousa and
Jorge R. Almeida, Jr. and
Sidney Viana and
Judith Pavón Automatic analysis of requirements
consistency with the B method . . . . . 1--4
Sivamuni Kalaimagal and
Rengaramanujam Srinivasan Q'Facto 12: an improved quality model
for COTS components . . . . . . . . . . 1--4
Mohammad Reza Nami and
Jila Saneipour Self-* e-nursing: a new idea in nursing 1--4
Rajesh K. Bhatia and
Mayank Dave and
R. C. Joshi Ant colony based rule generation for
reusable software component retrieval 1--5
Steven Chodkowski Recommendations for the information
architect's book shelf . . . . . . . . . 1--5
Deepak Dahiya Teaching software engineering: a
practical approach . . . . . . . . . . . 1--5
Nasib Singh Gill and
Pradeep Tomar Modified development process of
component-based software engineering . . 1--6
Anup Kumar Bandyopadhyay Modeling of state transition rules and
its application . . . . . . . . . . . . 1--7
Amit Gupta and
Rajesh Bhatia Testing functional requirements using B
model specifications . . . . . . . . . . 1--7
Shamim H. Ripon Process algebraic support for web
service composition . . . . . . . . . . 1--7
Madhumita S. Neogi and
Vandana Bhattacherjee Evaluating the effectiveness of VOSDM: a
vision oriented approach . . . . . . . . 1--8
M. Keith Wright and
Charles J. Capps III Information systems development project
performance in the 21st century . . . . 1--10
Luiz Fernando Capretz and
Faheem Ahmed Why do we need personality diversity in
software engineering? . . . . . . . . . 1--11
Larry Bernstein Pithy software engineering quotes . . . 3--4
Mark A. Ardis Software engineering education (SEEd) 4--4
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 5--14
Peter G. Neumann Risks to the public . . . . . . . . . . 15--24
Tony Gorschek and
Samuel Fricker and
Sjaak Brinkkemper and
Christof Ebert Third International Workshop on Software
Product Management --- IWSPM'09 . . . . 25--29
Joe Saur Book Review: \booktitleSimulation-Based
Engineering of Complex Systems, Second
Edition, by John R. Clymer, and
published by John Wiley and Sons, 2009,
hardcover, ISBN 978-0-470-40129-3, 503
pp. . . . . . . . . . . . . . . . . . . 33--34
Will Tribbey Book Review: \booktitleF# for
Scientists, by Jon Harrop, and published
by Wiley-Interscience, 2008, hardback,
ISBN 0-470-24211-6, 368pp. . . . . . . . 34--35
Marcel Krizevnik and
Matjaz B. Juric Improved SOA persistence architectural
model . . . . . . . . . . . . . . . . . 1
T. R. Gopalakrishnan Nair and
V. Suma A paradigm for metric based inspection
process for enhancing defect management 1
Zude Li and
Mechelle Gittens and
Syed Shariyar Murtaza and
Nazim H. Madhavji A towards an extended relational algebra
for software architecture . . . . . . . 1--4
Konstantina Georgieva Conducting FMEA over the software
development process . . . . . . . . . . 1--5
Krishna Kumar and
Rajesh Prasad and
Suneeta Agarwal Software maintenance by multi-patterns
parameterized string matching with
q-gram . . . . . . . . . . . . . . . . . 1--5
R. K. Pandey Architectural description languages
(ADLs) vs UML: a review . . . . . . . . 1--5
Rajesh Prasad and
Suneeta Agarwal Parameterized string matching: an
application to software maintenance . . 1--5
Ruchika Malhotra and
Arvinder Kaur and
Yogesh Singh Application of machine learning methods
for software effort prediction . . . . . 1--6
Chris A. Mattmann and
Amy J. Braverman and
Daniel J. Crichton Understanding architectural tradeoffs
necessary to increase climate model
intercomparison efficiency . . . . . . . 1--6
Kanchana Rajaram and
Chitra Babu Evolution of a simple vehicle
registration system to an SOA based
e-governance application: a case study 1--7
Kiev Gama and
Didier Donsez A survey on approaches for addressing
dependability attributes in the OSGi
service platform . . . . . . . . . . . . 1--8
Hagen Höpfner and
Christian Bunse Energy aware data management on AVR
micro controller based systems . . . . . 1--8
P. K. Suri and
Gurdev Singh DG-metrics formulization for DGML-based
software design . . . . . . . . . . . . 1--8
Behzad Bastani Low-level dynamic system formation with
high-level automation: extending UML in
support of UPnP . . . . . . . . . . . . 1--10
V. B. Singh and
P. K. Kapur and
Abhishek Tandon Measuring reliability growth of software
by considering fault dependency,
debugging time Lag functions and
irregular fluctuation . . . . . . . . . 1--11
D. Jeya Mala and
V. Mohan Quality improvement and optimization of
test cases: a hybrid genetic algorithm
based approach . . . . . . . . . . . . . 1--14
David Notkin ACM TOSEM: FAQs and Figures . . . . . . 5--6
Larry Bernstein and
Hákon Ágústsson Pithy software engineering quotes . . . 6--7
Mike Wing Poetry in code . . . . . . . . . . . . . 7--8
Nayan B. Ruparelia Software development lifecycle models 8--13
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 14--23
Peter G. Neumann Risks to the public . . . . . . . . . . 24--32
Alok Mishra and
Jürgen Münch and
Deepti Mishra A report on the ``Information Systems in
Distributed Environments'' (ISDE)
Workshop at the OTM 2009 conferences . . 33--34
Mordechai Ben-Menachem Book Review: \booktitleParallel
Coordinates: Visual Multidimensional
Geometry and its Applications, by Alfred
Inselberg, and published by Springer;
2009; ISBN 978-0-387-21507-5; pp. 580 39--39
Vladimir O. Safonov Book Review: \booktitleMicrosoft Windows
communication foundation: hands-on!, by
Craig McMurtry, Marc Mercuri and Nigel
Watling, and published by Sams
Publishing, 2006 (paperback), ISBN
0-672-32877-1, 539 pp., \$39.99} . . . . 40--40
Sim-Hui Tee Method efficiency model based on value
relevancy . . . . . . . . . . . . . . . 1--3
Shrddha Sagar and
N. W. Nerurkar and
Arun Sharma A soft computing based approach to
estimate reusability of software
components . . . . . . . . . . . . . . . 1--4
Hendrik Macedo Model driven development approach to
natural language generation systems . . 1--7
Yogesh Singh and
Arvinder Kaur and
Bharti Suri Test case prioritization using ant
colony optimization . . . . . . . . . . 1--7
Dipankar Majumdar and
Sabnam Sengupta and
Ananya Kanjilal and
Swagata Kundu and
Swapan Bhattacharya A mathematical reusability model for
quantifying the reduction in development
effort . . . . . . . . . . . . . . . . . 1--8
V. Radhakishan and
Yaser Farook and
S. Selvakumar CRAYSE: design and implementation of
efficient text search algorithm in a web
crawler . . . . . . . . . . . . . . . . 1--8
Juliana Pinheiro Campos and
José Luis Braga and
Antânio Maria Pereira de Resende and
Carlos Henrique Osório Silva Identification of aspect candidates by
inspecting use cases descriptions . . . 1--9
Ratneshwer and
A. K. Tripathi Dependence analysis of software
component . . . . . . . . . . . . . . . 1--9
Tony Tony Lee Optimizing IT process management . . . . 1--10
Larry Bernstein and
Hákon Ágústsson Pithy software engineering quotes . . . 3--4
Mike Wing Burt doesn't manage . . . . . . . . . . 4--6
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 6--7
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 8--16
Peter G. Neumann Risks to the public . . . . . . . . . . 17--23
Dino Mandrioli and
Stephen Fickas and
Carlo A. Furia and
Mehdi Jazayeri and
Matteo Rossi and
Michal Young SCORE: the first student contest on
software engineering . . . . . . . . . . 24--30
Larry Bernstein Book Review: \booktitleCharacterizing
people as non-linear, first-order
components in software development, by
Alistair A. R. Cockburn and published in
Humans and Technology, HaT Technical
Report 1999.03, Oct 21, 1999 . . . . . . 33--34
Mordechai Ben-Menachem Book Review: \booktitleManaging and
Leading Software Projects by Richard
Fairley and published by John Wiley &
Sons, Inc. with IEEE Computer Society
2009, (hardback), ISBN 978-0470-29455-0,
pp. 510 . . . . . . . . . . . . . . . . 34--34
Mordechai Ben-Menachem Book Review: \booktitleReactive Systems:
Modelling, Specification and
Verification by L. Aceto, et al.; and
published by Cambridge University Press;
distributed by Cambridge University
Press; 2007, (hardback), ISBN
978-0-521-87546-2, pp. 300 . . . . . . . 34--35
David S. Rogers Book Review: \booktitleGeometric Spanner
Networks by Giri Narasimhan and Michael
Smid, and published by Cambridge
University Press, 2007, Hardback ISBN
978-0-521-81513-0, 500 pp., \$105} . . . 35--35
Fazal-e-Amin and
Ahmad Kamil Mahmood and
Alan Oxley Proposal for evaluation of software
reusability assessment approach
employing a mixed method . . . . . . . . 1--4
C. Banerjee and
S. K. Pandey Research on software security awareness:
problems and prospects . . . . . . . . . 1--5
N. W. Nerurkar and
Avadhesh Kumar and
Pallavi Shrivastava Assessment of reusability in
aspect-oriented systems using fuzzy
logic . . . . . . . . . . . . . . . . . 1--5
Shrddha Sagar and
N. W. Nerurkar and
Arun Sharma A soft computing based approach to
estimate reusability of software
components . . . . . . . . . . . . . . . 1--5
Yogesh Singh and
Pradeep Kumar Application of feed-forward neural
networks for software reliability
prediction . . . . . . . . . . . . . . . 1--6
Nasib S. Gill and
Sunil Sikka New complexity model for classes in
object oriented system . . . . . . . . . 1--7
Brad Long Towards the design of a set-based Java
collections framework . . . . . . . . . 1--7
Ashish Sharma and
Dharmender Singh Kushwaha Early estimation of software complexity
using requirement engineering document 1--7
Hashem Yazbek A concept of quality assurance for
metrics in CASE-tools . . . . . . . . . 1--8
Ram Chatterjee and
Kalpana Johari A prolific approach for automated
generation of test cases from informal
requirements . . . . . . . . . . . . . . 1--11
Nitin Upadhyay and
Bharat M. Deshapande and
Vishnu P. Agrawal Developing maintainability index of a
software component: a digraph and matrix
approach . . . . . . . . . . . . . . . . 1--11
Larry Bernstein and
Hákon Ágústsson Pithy software engineering quotes . . . 4--5
Brian Berliner and
Nayan B. Ruparelia Early days of CVS . . . . . . . . . . . 5--6
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 8--17
Peter G. Neumann Risks to the public . . . . . . . . . . 18--24
Wing Kwong Chan and
Christof J. Budnik and
Gregory M. Kapfhammer Software testing research in practice:
report on the 5th International Workshop
on the Automation of Software Test . . . 25--26
Yvonne Dittrich and
Helen Sharp and
Heike Winshiers Theophilus and
Cleidson De Souza and
Mikko Korpela and
Janice Singer Cooperative and human aspects of
software engineering: CHASE 2010 . . . . 27--29
Grace Lewis and
Dennis Smith and
Andreas Metzger and
Andrea Zisman and
Marco Pistore Report of the 2nd International Workshop
on Principles of Engineering
Service-Oriented Systems (PESOS 2010) 30--33
Kurt Geihs and
Stefan Gruner and
Kay Römer Report about 1st ICSE Workshop on
Software Engineering for Sensor Network
Applications (SESENA 2010) . . . . . . . 34--37
Patricia Lago and
Paris Avgeriou and
Philippe Kruchten Organizing a software architecture body
of knowledge: summary of the 5th SHARK
workshop, at ICSE 2010 . . . . . . . . . 37--40
Jon G. Hall and
Lucia Rapanotti and
Liping Zhao and
James Naish 2010 ICSE International Workshop on
Advances and Applications of Problem
Orientation (WAAPO-2010) . . . . . . . . 40--41
Charles D. Knutson and
Jonathan L. Krein and
Lutz Prechelt and
Natalia Juristo Report from the 1st International
Workshop on Replication in Empirical
Software Engineering Research (RESER
2010) . . . . . . . . . . . . . . . . . 42--44
Christoph Treude and
Margaret-Anne Storey and
Kate Ehrlich and
Arie van Deursen Workshop report from Web2SE: First
Workshop on Web 2.0 for Software
Engineering . . . . . . . . . . . . . . 45--50
Gerardo Canfora and
Giulio Concas and
Michele Marchesi and
Ewan Tempero and
Hongyu Zhang 2010 ICSE Workshop on Emerging Trends in
Software Metrics . . . . . . . . . . . . 51--53
Sonal Dekhane Install anywhere tutorial and reference
guide by Zero G Team . . . . . . . . . . 57--57
David A. Werden Book Review: \booktitleTCP/IP
architecture, design, and implementation
in Linux by Sameer Seth and M. Ajaykumar
Venkatesulu . . . . . . . . . . . . . . 57--57
Will Tracz Book Review: \booktitleThe design of
design: essays of a computer scientist
by Frederick R. Brooks, Jr. . . . . . . 58--58
Will Tracz Book Review: \booktitleMaking it big in
software: get the job, work the org,
become great by Sam Lightstone . . . . . 58--58
Will Tracz Book Review: \booktitleRemarkable
Engineers: From Riquet to Shannon by
Ioan James . . . . . . . . . . . . . . . 58--58
Sanjay Kumar Dubey and
Ajay Rana Assessment of usability metrics for
object-oriented software system . . . . 1--4
Amit Mishra and
Sanjay Misra People management in software industry:
the key to success . . . . . . . . . . . 1--4
Sim-Hui Tee Measuring class cohesion using mutant
methods . . . . . . . . . . . . . . . . 1--4
Anup Kumar Bandyopadhyay and
Nibedita Lenka Application of TLRO to dining
philosophers problem . . . . . . . . . . 1--6
Anup Kumar Bandyopadhyay Spatial ordering of messages in a cyclic
architecture . . . . . . . . . . . . . . 1--6
Shubha Bhat and
Vindhya Malagi and
Krishnan Rangarajan and
Ramesh Babu Computer vision based guidance in UAVs:
software engineering challenges . . . . 1--6
T. R. Gopalakrishnan Nair and
Sri Aravindh and
R. Selvarani Design property metrics to
maintainability estimation: a virtual
method using functional relationship
mapping . . . . . . . . . . . . . . . . 1--6
Brad Long Towards the design of a set-based Java
collections framework . . . . . . . . . 1--7
Chhabi Rani Panigrahi and
Rajib Mall Model-based regression test case
prioritization . . . . . . . . . . . . . 1--7
P. K. Suri and
Gurdev Singh Automatic generation of design search
keywords from software specifications to
improve design search results . . . . . 1--8
Sirsendu Mohanta and
Gopika Vinod and
A. K. Ghosh and
Rajib Mall An approach for early prediction of
software reliability . . . . . . . . . . 1--9
Abhik Sengupta and
Vivek Nandey and
Sabnam Sengupta ETDSOA: a model for event and time
driven service oriented architecture . . 1--9
Robert Schaefer The limits of systems-making
organizations . . . . . . . . . . . . . 1--20
Larry Bernstein and
Hákon Ágústsson Pithy software engineering quotes . . . 5--5
Mike Wing The making of . . . . . . . . . . . . . 5--7
Mark A. Ardis and
Peter B. Henderson Software Engineering Education (SEEd) 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 9--18
Peter G. Neumann Risks to the public . . . . . . . . . . 19--26
Will Tribbey Book Review: \booktitleNumerical
Recipes: The Art of Scientific Computing
(3rd Edition) by William H. Press, Saul
A. Teukolsky, William T. Vetterling, and
Brian P. Flannery, and published by
Cambridge University Press, 2007,
hardback, ISBN 978-0-521-88068-8, 1235
pp. . . . . . . . . . . . . . . . . . . 30--31
Christine Miyachi Agile software architecture . . . . . . 1--3
Jörg Rech and
Eric Ras Aggregation of experiences in experience
factories into software patterns . . . . 1--4
Imrul Kayes Agile Testing: Introducing PRAT as a
Metric of Testing Quality in Scrum . . . 1--5
Raj P. M. Krishna and
K. G. Srinivasa Analysis of Projects and Volunteer
Participation in Large Scale Free and
Open Source Software Ecosystem . . . . . 1--5
Arthur Sorkin and
Peter Donovan LR(1) parser generation system: LR(1)
error recovery, oracles, and generic
tokens . . . . . . . . . . . . . . . . . 1--5
P. S. Bishnu and
V. Bhattacherjee Application of K-Medoids with Kd-Tree
for Software Fault Prediction . . . . . 1--6
Sanjay Kumar Dubey and
Ajay Rana Usability Estimation of Software System
by using Object-Oriented Metrics . . . . 1--6
Kulwant Kaur and
Hardeep Singh Determination of Maintainability Index
for Object Oriented Systems . . . . . . 1--6
Pankaj Kumar and
Kamlesh Dutta Relationship between Crosscutting
Concerns and Defects . . . . . . . . . . 1--7
Usha Kumari and
Sucheta Bhasin Application of Object-Oriented Metrics
To C++ and Java: a Comparative Study . . 1--10
C. Vembuselvi and
S. Selvakumar LISISAP: link level signature based
secure anonymous protocol for prevention
of traffic analysis attacks . . . . . . 1--10
Dipankar Majumdar and
Ananya Kanjilal and
Swapan Bhattacharya Separation of scattered concerns: a
graph based approach for aspect mining 1--11
Larry Bernstein and
Hákon Ágústsson Pithy software engineering quotes . . . 6--7
Robert Schaefer On the limits of visual programming
languages . . . . . . . . . . . . . . . 7--8
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 8--9
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--18
Peter G. Neumann Risks to the public . . . . . . . . . . 19--27
Emiliano Lutteri and
Barbara Russo and
Giancarlo Succi Report of the 4th international
symposium on empirical software
engineering and measurement ESEM 2010 28--34
Anita Bateman Hands-on networking: from theory to
practice by Maria Luisa Merani, Maurizio
Casoni, and Walter Cerroni . . . . . . . 38--38
Aryldo G. Russo, Jr. Book Review: \booktitleModeling in
Event-B --- system and software
engineering by Jean-Raymond Abrial . . . 38--39
Daniel M. Berry Book Review: \booktitleSoftware
requirements and design: the work of
Michael Jackson by Bashar Nuseibeh and
Pamela Zave . . . . . . . . . . . . . . 39--40
Will Tracz Book Review: \booktitleGlitch: the
hidden impact of faulty software by Jeff
Papows . . . . . . . . . . . . . . . . . 41--41
Alok Mishra and
Deepti Mishra A curriculum for agile software
development methodologies . . . . . . . 1--2
Shalini Chandra and
Raees Ahmad Khan Availability state transition model . . 1--3
Srikanth Baride and
Kamlesh Dutta A cloud based software testing paradigm
for mobile applications . . . . . . . . 1--4
Parul Gandhi and
Pradeep Kumar Bhatia Estimation of generic reusability for
object-oriented software an empirical
approach . . . . . . . . . . . . . . . . 1--4
R. K. Choudhary and
R. A. Khan Testing software fault tolerance
techniques: future direction . . . . . . 1--5
María Consuelo Franky Agile management and development of
software projects based on collaborative
environments . . . . . . . . . . . . . . 1--6
Murali K. Nuthakki and
Mutlu Mete and
Cihan Varol and
Sang C. Suh UXSOM: UML generated XML to software
metrics . . . . . . . . . . . . . . . . 1--6
Travis A. Bennett and
Coskun Bayrak Bridging the data integration gap: from
theory to implementation . . . . . . . . 1--8
D. Evangelin Geetha and
T. V. Suresh Kumar and
K. Rajani Kanth Framework for hybrid performance
prediction process model: use case
performance engineering approach . . . . 1--15
Larry Bernstein Pithy software engineering quotes . . . 4--4
Michael Wing How we talk about basics . . . . . . . . 4--6
Mark A. Ardis and
Peter B. Henderson Software Engineering Education (SEEd) 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 9--18
Peter G. Neumann Risks to the Public . . . . . . . . . . 19--25
Samuel Fricker and
Norbert Seyff 1st International Requirements
Engineering Efficiency Workshop: REEW
2011 . . . . . . . . . . . . . . . . . . 26--28
Alok Mishra and
Jürgen Münch and
Deepti Mishra Information systems in distributed
environments: ISDE 2010 . . . . . . . . 28--30
Hrvoje Belani Book Review: \booktitleBarcodes for
mobile devices by Hiroko Kato, Keng T.
Tan and Douglas Chai . . . . . . . . . . 32--33
Jon D. Hagar Book Review: \booktitleTesting IT: an
off-the-shelf software testing process
by John Watkins and Simon Mills . . . . 33--33
Bob Epps Book Review: \booktitleThe elements of
MATLAB style by Richard K. Johnson . . . 33--34
P. Farrell-Vinary JustInMind . . . . . . . . . . . . . . . 34--35
Varun Gupta Validation of dynamic coupling metrics
for object-oriented software . . . . . . 1--3
Krishna Khajaria and
Manoj Kumar Modeling of security requirements for
decision information systems . . . . . . 1--4
Manoj Kumar and
Anjana Gosain and
Yogesh Singh Quality-oriented requirements
engineering for a data warehouse . . . . 1--4
Vachik S. Dave and
Kamlesh Dutta Comparison of regression model,
feed-forward neural network and radial
basis neural network for software
development effort estimation . . . . . 1--5
Om Prakash Sangwan and
Pradeep Kumar Bhatia and
Yogesh Singh Radial basis function neural network
based approach to test oracle . . . . . 1--5
Murat Yilmaz and
Rory V. O'Connor A software process engineering approach
to improving software team productivity
using socioeconomic mechanism design . . 1--5
Jayeeta Chanda and
Sabnam Sengupta and
Ananya Kanjilal and
Swapan Bhattacharya SCAG: a graphical approach to measure
the complexity of the SOA application 1--6
Ruchika Malhotra and
Ankita Jain Software fault prediction for object
oriented systems: a literature review 1--6
Sanjay Kumar Dubey and
Ajay Rana Assessment of maintainability metrics
for object-oriented software system . . 1--7
Ashish Seth and
Himanshu Agarwal and
Ashim Raj Singla Designing a SOA based model . . . . . . 1--7
Sharath Chandra V. and
S. Selvakumar BIXSAN: browser independent XSS
sanitizer for prevention of XSS attacks 1--7
Seema Yadav and
Khaleel Ahamd and
Jayant Shekhar Finite state machine based approach to
prevent format string attacks . . . . . 1--7
Ajay Jain Approach for reducing menu access time
by enabling bidirectional cursor
movement within nested menu(s) . . . . . 1--8
Kalpana Johari and
Arvinder Kaur Effect of software evolution on software
metrics: an open source case study . . . 1--8
Parminder Kaur and
Hardeep Singh A model for versioning control mechanism
in component-based systems . . . . . . . 1--8
Satwinder Singh and
K. S. Kahlon Effectiveness of encapsulation and
object-oriented metrics to refactor code
and identify error prone classes using
bad smells . . . . . . . . . . . . . . . 1--10
Vandana Gandotra and
Archana Archana Singhal and
Punam Bedi Layered security architecture for threat
management using multi-agent system . . 1--11
Larry Bernstein Eternal software engineering questions 7--7
Michael Wing Everything in SE is a lie . . . . . . . 8--9
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--19
Peter G. Neumann Risks to the public . . . . . . . . . . 20--23
Christoph Treude and
Margaret-Anne Storey and
Arie van Deursen and
Andrew Begel and
Sue Black Workshop report from Web2SE 2011: 2nd
International Workshop on Web 2.0 for
Software Engineering . . . . . . . . . . 24--29
Matthias Galster and
Paris Avgeriou and
Danny Weyns and
Tomi Männistö Variability in software architecture:
current practice and challenges . . . . 30--32
Ipek Ozkaya and
Philippe Kruchten and
Robert L. Nord and
Nanette Brown Managing technical debt in software
development: report on the 2nd
International Workshop on Managing
Technical Debt, held at ICSE 2011 . . . 33--35
David J. Lilja and
Raffaela Mirandola and
Kai Sachs Paper Abstracts of the 2nd International
Conferernce on Performance Engineering
(ICPE 2011) . . . . . . . . . . . . . . 36--53
William Del Ra Book Review: \booktitleUsability testing
essentials: ready, set\ldotstest! by
Carol M. Barnum . . . . . . . . . . . . 49--50
Leslie Glaves Book Review: \booktitleAPI design for
C++ by Martin Reddy . . . . . . . . . . 50--50
Cristina Mitrache Book Review: \booktitleIT manager's
handbook, the business edition by Bill
Holtsnider and Brian D. Jaffe . . . . . 51--51
Terry Ngo Book Review: \booktitleData mining:
practical machine learning tools and
technique, third edition by Ian H.
Witten, Eibe Frank, Mark A. Hell . . . . 51--52
Michael O'Sullivan Designing with the mind in mind: simple
guide to understanding user interface
design rules by Jeff Johnson . . . . . . 52--52
Jodat Vu Book Review: \booktitleThe art of
multiprocessor programming by Maurice
Herlihy and Nir Shavit . . . . . . . . . 52--53
Randall L. White Book Review: \booktitleReconfigurable
embedded control systems: applications
for flexibility and agility by Mohamed
Khalgui and Han-Michale Hanisch . . . . 53--53
Sanjay Misra and
Martha Omorodion Survey on agile metrics and their
inter-relationship with other
traditional development metrics . . . . 1--3
Sim-Hui Tee Identifying structural similarity of
methods using isomorphic graphs . . . . 1--3
Alok Mishra and
Deepti Mishra Industry linked graduate software
engineering curriculum . . . . . . . . . 1--4
Anup Kumar Bandyopadhyay TLRO based modeling of alternative
commands and its application to
generalized distributed resource
allocation problem . . . . . . . . . . . 1--5
Usha Kumari and
Sucheta Bhasin A composite complexity measure for
component-based systems . . . . . . . . 1--5
Eduardo Miranda Time boxing planning: buffered Moscow
rules . . . . . . . . . . . . . . . . . 1--5
Bharti Suri and
Shweta Singhal Analyzing test case selection and
prioritization using ACO . . . . . . . . 1--5
Liguo Yu Coevolution of information ecosystems: a
study of the statistical relations among
the growth rates of hardware, system
software, and application software . . . 1--5
Ravinder Kumar and
Kiran Khatter and
Arvind Kalia Measuring software reliability: a fuzzy
model . . . . . . . . . . . . . . . . . 1--6
Kirti Tyagi and
Arun Sharma Reliability of component based systems:
a critical survey . . . . . . . . . . . 1--6
Anthony Langsworth Using static analysis tools to detect
and correct non-compliant cryptography 1--7
Sujata Khatri and
R. S. Chhillar and
V. B. Singh Measuring bug complexity in object
oriented software system . . . . . . . . 1--8
Garima Thakur and
Anjana Gosain DWEVOLVE: a requirement based framework
for data warehouse evolution . . . . . . 1--8
Nitin Bhatia and
Namarta Kapoor Fuzzy cognitive map based approach for
software quality risk analysis . . . . . 1--9
Rajender Singh Chhillar and
Nisha Empirical analysis of object-oriented
design metrics for predicting high,
medium and low severity faults using
Mallows Cp . . . . . . . . . . . . . . . 1--9
Larry Bernstein Eternal software engineering cross
feature/architecture design
simplifications . . . . . . . . . . . . 6--6
Robert Schaefer Software perspectives on history,
culture and efficiency . . . . . . . . . 6--7
Mark A. Ardis and
Peter B. Henderson Software Engineering Education (SEEd) 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 9--18
Peter G. Neumann Risks to the public . . . . . . . . . . 19--23
Dorothy Acton Book Review: \booktitleLeadership,
teamwork and trust: building a
competitive software capability by Watts
S. Humphrey and James W. Over . . . . . 28--28
Howard Ausden Book Review: \booktitleBuilding
parallel, embedded, and real-time
applications with Ada by John W.
McCormick, Frank Singhoff and Jerome
Hugues . . . . . . . . . . . . . . . . . 28--29
William Del Ra III Book Review: \booktitleModel-based
development: applications, by H. S.
Lahman . . . . . . . . . . . . . . . . . 29--29
William Del Ra III Book Review: \booktitleBrave NUI world:
designing natural user interfaces for
touch and gesture by Daniel Wigdor and
Dennis Wixon . . . . . . . . . . . . . . 29--30
Joe Saur Network science for military coalition
operations: information exchange and
interaction by Dinesh Verma . . . . . . 30--30
Vasile G. Teodorovici Book Review: \booktitleIntegrating and
extending BIRT 3rd edition by J.
Weathersby, T. Bondurand, and I.
Chatalbasheva . . . . . . . . . . . . . 31--31
Will Tracz Lord of the files: essays on the social
aspects of software engineering by
Russel Ovans . . . . . . . . . . . . . . 31--31
Kalpana Johari and
Arvinder Kaur Validation of object oriented metrics
using open source software system: an
empirical study . . . . . . . . . . . . 1--4
Bruno F. L. Santos and
Hendrik T. Macedo Improving CUDA\TM C/C++ encoding
readability to foster parallel
application development . . . . . . . . 1--5
Daniel Varona and
Luiz Fernando Capretz and
Yadenis Piñero and
Arif Raza Evolution of software engineers'
personality profile . . . . . . . . . . 1--5
Vallidevi Krishnamurthy and
Chitra Babu Pattern based adaptation for service
oriented applications . . . . . . . . . 1--6
Pradeep Kumar and
Yogesh Singh Assessment of software testing time
using soft computing techniques . . . . 1--6
Rajni Mohana and
Deepak Dahiya Approach and impact of a protocol for
selection of service in web service
platform . . . . . . . . . . . . . . . . 1--6
Vinay Singh and
Vandana Bhattacherjee and
Sandeep Bhattacharjee An analysis of dependency of coupling on
software defects . . . . . . . . . . . . 1--6
Bedir Tekinerdogan and
Semih Cetin and
Muhammad Ali Babar and
Patricia Lago and
Juho Mäkiö Architecting in global software
engineering . . . . . . . . . . . . . . 1--7
Hewijin Christine Jiau and
Feng-Pu Yang Facing up to the inequality of
crowdsourced API documentation . . . . . 1--9
Ashish Sharma and
D. S. Kushwaha Applying requirement based complexity
for the estimation of software
development and testing effort . . . . . 1--11
A. Banerjee and
S. Ray and
P. Dasgupta and
P. P. Chakrabarti and
S. Ramesh and
P. Vignesh and
V. Ganesan A dynamic assertion-based verification
platform for validation of UML designs 1--14
Larry Bernstein Cross avoid shelf-ware by making your
systems easy-to-use . . . . . . . . . . 8--9
Michael Wing Food for thought . . . . . . . . . . . . 9--10
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 10--11
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 12--20
Peter G. Neumann Risks to the Public . . . . . . . . . . 21--26
Jonathan L. Krein and
Charles D. Knutson and
Lutz Prechelt and
Natalia Juristo Report from the 2nd International
Workshop on Replication in Empirical
Software Engineering Research (RESER
2011) . . . . . . . . . . . . . . . . . 27--30
Greg Cooper Book Review: \booktitleDTrace: dynamic
tracing in Oracle Solaris, Mac OS X, and
FreeBSD by Brendan Gregg and Jim Mauro 34--34
Robert L. Glass Book Review: \booktitleManaging projects
in trouble: achieving turnaround and
success by Ralph L. Kliem . . . . . . . 34--34
Georgios Gousios Book Review: \booktitleScalability rules
50 principles for scaling web sites by
Martin L. Abbott and Michael T. Fisher 35--35
Vasile G. Teodorovici Book Review: \booktitleThe Eclipse
graphical editing framework (GEF) by D.
Rubel, J. Wren, and E. Clayberg . . . . 35--35
Matt Mendell Book Review: \booktitleA practical guide
to Fedora and Red Hat enterprise Linux
by Mark G. Sobell . . . . . . . . . . . 36--36
Vasile G. Teodorovici Book Review: \booktitleContinuous
testing with Ruby, Rails and JavaScript
by Ben Rady and Rod Coffin . . . . . . . 36--36
Chris Hathhorn Book Review: \booktitleEngineering a
compiler, second edition by Keith D.
Cooper and Linda Torczon . . . . . . . . 36--37
William Del Ra III Book Review: \booktitleThe book of Ruby
by Huw Collingbourne . . . . . . . . . . 37--37
Will Tracz A bug hunter's diary: a guided tour
through the wilds of software security
by Tobias Klein . . . . . . . . . . . . 37--38
Suhel Ahmad Khan and
Raees Ahmad Khan Integrity quantification model for
object oriented design . . . . . . . . . 1--3
Robert J. Eisenberg A threshold based approach to technical
debt . . . . . . . . . . . . . . . . . . 1--6
S. Harikrishnan and
Rajeev Kumar Space efficient non-constant time
multi-method dispatch in object oriented
systems . . . . . . . . . . . . . . . . 1--6
Dipankar Majumdar and
Swapan Bhattacharya Interoperability of constrained finite
state automata . . . . . . . . . . . . . 1--8
Vibha Gaur and
Anuja Soni Analytical inference model for
prediction and customization of
inter-agent dependency requirements . . 1--11
Krishna Raj P. M. and
Srinivasa K. G. Empirical studies of global volunteer
collaboration in the development of free
and open source software: analysis of
six top ranked projects in
sourceforge.net . . . . . . . . . . . . 1--11
Satwinder Singh and
K. S. Kahlon Effectiveness of refactoring metrics
model to identify smelly and error prone
classes in open source software . . . . 1--11
Larry Bernstein Pithy software engineering quotes . . . 6--7
Robert Schaefer The secret life of academic papers . . . 7--8
Mark A. Ardis and
Peter B. Henderson Software Engineering Education (SEEd) 8--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--20
Peter G. Neumann Risks to the public . . . . . . . . . . 21--29
Bedir Tekinerdogan Reflection on Turkish aspect-oriented
software development workshop series . . 30--33
William Del Ra III Book Review: \booktitleSoftware systems
architecture, second edition, by Nick
Rozanski and Eoin Woods . . . . . . . . 36--36
Robert Eisenberg Managing software debt building for
inevitable change by Chris Sterling . . 36--37
Terry Ngo Book Review: \booktitleEssential app
engine: building high-performance Java
apps with Google app engine by Adriaan
de Jonge . . . . . . . . . . . . . . . . 37--37
Vasile G. Teodorovici Book Review: \booktitleWork item
management with IBM rational ClearQuest
and Jazz: a customization guide by
Shmuel Bashan and David E. Bellagio . . 37--38
David S. Rosenblum Letter from the Chair . . . . . . . . . 1
K. Sudheer Reddy and
G. Partha Saradhi Varma and
M. Kantha Reddy Discovering web usage patterns by using
an innovative practical approach . . . . 1--4
Manisha Tiwari and
Padmaja Joshi Method cohesion analysis through concept
lattices . . . . . . . . . . . . . . . . 1--4
Deepak Arora and
Bramah Hazela and
Vipin Saxena Semantics for UML model transformation
and generation of regular grammar . . . 1--5
Steve Counsell and
Stephen Swift Issues arising from refactoring studies:
an experience report . . . . . . . . . . 1--5
Preeti Gulia and
R. S. Chillar A new approach to generate and optimize
test cases for UML state diagram using
genetic algorithm . . . . . . . . . . . 1--5
Oscar Nierstrasz Agile software assessment with Moose . . 1--5
K. Sudheer Reddy and
G. Partha Saradhi Varma and
I. Ramesh Babu Preprocessing the web server logs: an
illustrative approach for effective
usage mining . . . . . . . . . . . . . . 1--5
Surender Kumar and
Rajeev Kumar Precise static analysis for generic
programs in object oriented languages 1--6
Tirimula Rao Benala and
Satchidananda Dehuri and
Rajib Mall Computational intelligence in software
cost estimation: an emerging paradigm 1--7
Shujuan Jiang and
Yanmei Zhang and
Dandan Yi Test data generation approach for basis
path coverage . . . . . . . . . . . . . 1--7
Shamim H. Ripon A unified tabular method for modeling
variants of software product line . . . 1--7
Vallabh Anwikar and
Ravindra Naik and
Adnan Contractor and
Hemanth Makkapati Domain-driven technique for
functionality identification in source
code . . . . . . . . . . . . . . . . . . 1--8
Kawal Jeet and
Renu Dhir and
Harsh Verma A comparative study of Bayesian and
fuzzy approach to assess and predict
maintainability of the software using
activity-based quality model . . . . . . 1--9
Priyanka and
Inderveer Chana and
Ajay Rana Empirical evaluation of cloud-based
testing techniques: a systematic review 1--9
Daya Gupta and
Rinky Dwivedi Method configuration from situational
method engineering . . . . . . . . . . . 1--11
Mike Wing Thank You . . . . . . . . . . . . . . . 7--8
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 8--9
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--17
Peter G. Neumann Risks to the public . . . . . . . . . . 18--25
Rakesh Shukla and
Ashish Sureka and
Rushikesh Joshi and
Rajib Mall A report on Software Engineering
Education Workshop . . . . . . . . . . . 26--31
Scott Froberg Book Review: \booktitleSoftware Testing
by Yogesh Singh . . . . . . . . . . . . 36--36
Robert Schaefer Book Review: \booktitleFundamentals of
multicore software development by Victor
Pankratius, Ali-Reza Adi-Tabatabai,
Walter Tichy . . . . . . . . . . . . . . 37--37
Harisankar Krishna Swamy Book Review: \booktitleSpace based
technologies and commercialized
development: economic implications and
benefits by Stella Tkatchova . . . . . . 37--38
William Del Ra III Book Review: \booktitleACM Ruby learning
path by David A. Black . . . . . . . . . 38--38
David S. Rosenblum Letter from Chair . . . . . . . . . . . 1
Bharath Cheluvaraju and
Anjaneyulu Pasala and
Srinivas Padmanabhuni and
Sadhana Chevireddy A quantitative measure for preventive
maintenance in software . . . . . . . . 1--5
Kawal Jeet and
Yadvirender Rana and
Ruichi Xin A Bayesian network based approach for
software reusability prediction . . . . 1--5
Ajay Jain and
Chandan Singh ``Ad you like it'': advertisement
sourcing and selection technique across
multiple heterogeneous applications . . 1--6
Étienne André and
Christine Choppy and
Kais Klai Formalizing non-concurrent UML state
machines using colored Petri nets . . . 1--8
Luciano Baresi and
Angelo Morzenti and
Alfredo Motta and
Matteo Rossi A logic-based semantics for the
verification of multi-diagram UML models 1--8
Jan Olaf Blech and
Bernhard Schätz Towards a formal foundation of
behavioral types for UML state-machines 1--8
Juliana Bowles and
Dulani Meedeniya Strongly consistent transformation of
partial scenarios . . . . . . . . . . . 1--8
Petra Brosch and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl On formalizing EMF modeling operations
with graph transformations . . . . . . . 1--8
Oscar Carrillo and
Samir Chouali and
Hassan Mountassir Formalizing and verifying compatibility
and consistency of SysML blocks . . . . 1--8
Ning Ge and
Marc Pantel and
Xavier Crégut Time properties dedicated transformation
from UML-MARTE activity to time
transition system . . . . . . . . . . . 1--8
André Janus Towards a common agile software
development model (ASDM) . . . . . . . . 1--8
Dan Li and
Xiaoshan Li and
Volker Stolz Model querying with graphical notation
of QVT relations . . . . . . . . . . . . 1--8
Jérémy Milhau and
Frédéric Gervais and
Régine Laleau and
Marc Frappier Refinement patterns for ASTD . . . . . . 1--8
Yoriyuki Yamagata and
Weiqiang Kong and
Akira Fukuda and
Van Tang Nguyen and
Hitoshi Ohsaki and
Kenji Taguchi Formal semantics of extended
hierarchical state transition matrix by
CSP . . . . . . . . . . . . . . . . . . 1--8
Kenro Yatake and
Toshiaki Aoki SMT-based enumeration of object graphs
from UML class diagrams . . . . . . . . 1--8
Deepika Kukreja and
Umang Singh and
B. V. R. Reddy Analytical models for trust based
routing protocols in wireless ad hoc
networks . . . . . . . . . . . . . . . . 1--16
Neeraj Kumar Sharma and
Vibha Gaur and
S. K. Muttoo A dynamic reputation system with
built-in attack resilience to safeguard
buyers in e-market . . . . . . . . . . . 1--19
David Notkin TOSEM news . . . . . . . . . . . . . . . 7--8
Larry Bernstein Software engineering design principles
for ultra-large-scale systems . . . . . 8--9
Robert Schaefer On having a second job as an adjunct . . 9--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--19
Peter G. Neumann Risks to the public . . . . . . . . . . 20--29
Andrea Herrmann and
Maya Daneva and
Joerg Doerr and
Kurt Schneider 2nd International Workshop on Creativity
in Requirements Engineering: CreaRE 2012 30--31
J. Paul Gibson and
Isabelle Perseil Introduction to UML and Formal Methods 32--33
Georg Herzwurm and
Benedikt Krams and
Wolfram Pietsch and
Sixten Schockert Report from the 3rd International
Workshop on Requirements Prioritization
for Customer Oriented Software
Development: (RePriCo'12) . . . . . . . 32--33
Scott Froberg Book Review: \booktitleProgramming perl,
fourth edition by Tom Christiansen,
Brian D. Foy and Larry Wall with Jon
Orwant . . . . . . . . . . . . . . . . . 40--40
William Del Ra III Book Review: \booktitleService design
patterns: fundamental design solutions
for SOAP/WSDL and RESTful web services
by Robert Daigneau . . . . . . . . . . . 40--40
Vasile G. Teodorovici Book Review: \booktitleTheory of
conditional games by Wynn C. Stirling 41--41
A. D. Solomon On a new masters level program in
software engineering . . . . . . . . . . 1--3
Sanjay Kumar Dubey and
Ajay Rana and
Yajnaseni Dash Maintainability prediction of
object-oriented software system by
multilayer perceptron model . . . . . . 1--4
Panos Louridas and
Georgios Gousios A note on rigour and replicability . . . 1--4
Sanjeev Patwa and
Anil Kumar Malviya Reusability metrics and effect of
reusability on testing of object
oriented systems . . . . . . . . . . . . 1--4
Alexander Romanovsky Deployment of formal methods in
industry: the legacy of the FP7 ICT
DEPLOY integrated project . . . . . . . 1--4
Anup Kumar Bandyopadhyay Application of TLRO to refute an
incorrect mutual exclusion algorithm . . 1--5
Manish Mahajan and
Sumit Kumar and
Rabins Porwal Applying genetic algorithm to increase
the efficiency of a data flow-based test
data generation approach . . . . . . . . 1--5
Ekbal Rashid and
Srikanta Patnayak and
Vandana Bhattacherjee A survey in the area of machine learning
and its application for software quality
prediction . . . . . . . . . . . . . . . 1--7
Hemant Jain and
Anjana Gosain A comprehensive study of view
maintenance approaches in data
warehousing evolution . . . . . . . . . 1--8
Mahesh Shirole and
Rajeev Kumar Testing for concurrency in UML diagrams 1--8
Lakshmi Priya Sekar and
Vinitha Reddy Gankidi and
Selvakumar Subramanian Avoidance of security breach through
selective permissions in Android
operating system . . . . . . . . . . . . 1--9
P. Arun Babu and
C. Senthil Kumar and
N. Murali and
T. Jayakumar An intuitive approach to determine test
adequacy in safety-critical software . . 1--10
Ye-Chi Wu and
Hewijin Christine Jiau A monitoring mechanism to support
agility in service-based application
evolution . . . . . . . . . . . . . . . 1--10
Ajay Jain Optimizing feature-access time through
dynamic updates to application menu
layout . . . . . . . . . . . . . . . . . 1--14
Larry Bernstein Managing computer suppliers . . . . . . 12--13
Mark Grechanik The curse of database deadlocks: the
problem with no good solution . . . . . 13--14
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd):
is software engineering ready for MOOCs? 14--14
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 17--26
Peter G. Neumann Risks to the public . . . . . . . . . . 27--33
Rachel Harrison and
Daniela da Cruz and
Pedro Henriques and
Maria João Varanda Pereira and
Shih-Hsi Liu and
Tim Menzies and
Marjan Mernik and
Daniel Rodriguez Report from the First International
Workshop on Realizing Artificial
Intelligence Synergies in Software
Engineering (RAISE 2012) . . . . . . . . 34--35
Philippe Kruchten and
Robert L. Nord and
Ipek Ozkaya and
Joost Visser Technical debt in software development:
from metaphor to theory report on the
Third International Workshop on Managing
Technical Debt . . . . . . . . . . . . . 36--38
Veit Jahns Principles of data integration by Anhai
Doan, Alon Halevy, Zachary Ives . . . . 43--43
Richard St. Pierre Book Review: \booktitleThe UX book,
process and guidelines for ensuring a
quality user experience by Rex Hartson
and Pardha S. Pyla . . . . . . . . . . . 43--44
Kwee Heong Tan Book Review: \booktitleHow Google tests
software by James A. Whittaker, Jason
Arbon and Jeff Carollo . . . . . . . . . 44--45
Holger M. Kienle Personal data privacy and protection in
a surveillance era: technologies and
practices by Christina Akrivopoulou and
Athanasios Psygkas . . . . . . . . . . . 45--46
Ahmed El-Deeb A view on the state of software
engineering practice: experience from
Egypt . . . . . . . . . . . . . . . . . 1--4
Vineet Sharma and
S. A. M. Rizvi and
Arun Sharma Software Licenses --- A tool to control
distribution of software . . . . . . . . 1--4
Matteo Ceccarello and
Nastaran Shafiei Tools to generate and check consistency
of model classes for Java PathFinder . . 1--5
Jayeeta Chanda and
Sabnam Sengupta and
Ananya Kanjilal and
Swapan Bhattacharya Traceability between service component
and class: a model based approach . . . 1--5
Diego Funes and
Junaid Haroon Siddiqui and
Sarfraz Khurshid Ranged Model Checking . . . . . . . . . 1--5
Artem Khyzha and
Pavel Parízek and
Corina S. P\uas\uareanu Abstract pathfinder . . . . . . . . . . 1--5
Eric Mercer and
Suzette Person and
Neha Rungta Computing and visualizing the impact of
change with Java PathFinder extensions 1--5
Nariman Mirzaei and
Sam Malek and
Corina S. P\uas\uareanu and
Naeem Esfahani and
Riyadh Mahmood Testing Android apps through symbolic
execution . . . . . . . . . . . . . . . 1--5
Laura Panizo and
María del Mar Gallardo An extension of Java PathFinder for
hybrid systems . . . . . . . . . . . . . 1--5
Quoc-Sang Phan and
Pasquale Malacaria and
Oksana Tkachuk and
Corina S. P\uas\uareanu Symbolic quantitative information flow 1--5
Frank Rimlinger Test generation via symbolic simulation 1--5
Nastaran Shafiei and
Peter Mehlitz Modeling class loaders in Java
PathFinder version 7 . . . . . . . . . . 1--5
Meenakshi Sharma and
Nasib S. Gill and
Sunil Sikka Survey of object-oriented metrics:
focusing on validation and formal
specification . . . . . . . . . . . . . 1--5
Heila van der Merwe and
Brink van der Merwe and
Willem Visser Verifying Android applications using
Java PathFinder . . . . . . . . . . . . 1--5
Yufeng Zhang and
Zhenbang Chen and
Ji Wang S2PF: speculative symbolic PathFinder 1--5
Jonathan Bell and
Kendra M. L. Cooper and
Gail Kaiser and
Swapneel Sheth Report from the Second International
Workshop on Games and Software
Engineering (GAS 2012) . . . . . . . . . 1--6
Andrew Meneely and
Oluyinka Williams Interactive churn metrics:
socio-technical variants of code churn 1--6
Wenyuan Wang and
Zheng Zhang Balanced partition scheme for
distributed caching systems to solve
load imbalance problems . . . . . . . . 1--6
Bora Caglayan and
Ayse Bener Issue ownership activity in two large
software projects . . . . . . . . . . . 1--7
Regina Thienne Colombo and
Marcelo Schneck Pessôa and
Ana Cervigni Guerra and
Amandio Balcão Filho and
Célio Caruso Gomes Prioritization of software security
intangible attributes . . . . . . . . . 1--7
Patricia Lago and
Grace A. Lewis and
Andreas Metzger and
Vladimir Tosic and
Domenico Bianculli and
Antinisca Di Marco and
Andrea Polini and
Pierluigi Plebani Report of the 4th International Workshop
on Principles of Engineering
Service-Oriented Systems (PESOS 2012) 1--7
Indu Singh and
Manoj Kumar A proposed model for data warehouse user
behaviour using intrusion detection
system . . . . . . . . . . . . . . . . . 1--7
Birgit Hofer and
Franz Wotawa and
Rui Abreu AI for the win: improving spectrum-based
fault localization . . . . . . . . . . . 1--8
Klaus Lochmann A benchmarking-inspired approach to
determine threshold values for metrics 1--8
Ivan do Carmo Machado and
John D. McGregor and
Eduardo Santana de Almeida Strategies for testing products in
software product lines . . . . . . . . . 1--8
Janardan Misra and
Annervaz KM and
Vikrant Kaulgud and
Shubhashis Sengupta and
Gary Titus Java source-code clustering: Unifying
syntactic and semantic features . . . . 1--8
Siva Brahmasani and
Subramanian Selvakumar and
E. Sivasankar Prevention of XSS attacks using STCD:
Server side tagging and client side
differentiation . . . . . . . . . . . . 1--9
M. Mrunalini and
T. V. Suresh Kumar and
K. Rajani Kanth Dynamic process model for identifying
modified data using mobile agents in
real time ETL processes . . . . . . . . 1--9
Parminder Kaur and
Hardeep Singh A Modified Version Control Tool for
Component-Based Systems . . . . . . . . 1--10
Larry Bernstein Things i learned from taming software
development . . . . . . . . . . . . . . 5--6
Mark Grechanik Random benchmark application generation
for evaluating program analysis and
testing tools . . . . . . . . . . . . . 6--7
Robert Schaefer Limitations of web design . . . . . . . 7--8
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 8--9
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--18
Peter G. Neumann Risks to the public . . . . . . . . . . 19--23
Diego Garbervetsky and
Sunghun Kim Report from 2nd International Workshop
on Developing Tools as Plug-Ins (TOPI
2012) . . . . . . . . . . . . . . . . . 24--27
Jonathan Bell and
Kendra M. L. Cooper and
Gail Kaiser and
Swapneel Sheth Report from the Second International
Workshop on Games and Software
Engineering (GAS 2012) . . . . . . . . . 26--27
Stefan Gruner and
Bernhard Rumpe FormSERA Workshop on Formal Methods in
Software Engineering Rigorous and Agile
Approaches: 2nd of June 2012 at
ICSE'2012 in Zürich (CH) . . . . . . . . 28--30
Bedir Tekinerdogan First Turkish Software Product Line
Engineering Workshop summary . . . . . . 30--34
Harisankar Krishna Swamy Book Review: \booktitleStructured
parallel programming patterns for
efficient computation by Michael McCool,
Arch D. Robison and James Reinders . . . 43--43
Srinivasan M. Bangalore Book Review: \booktitleAgile Analytics
by Ken Collier . . . . . . . . . . . . . 43--44
Alok Mishra and
Deepti Mishra A curriculum for large scale software
development . . . . . . . . . . . . . . 1--2
Cesar Couto and
Cristiano Maffort and
Rogel Garcia and
Marco Tulio Valente COMETS: a dataset for empirical research
on software evolution using source code
metrics and time series analysis . . . . 1--3
Jeetendra Pande and
Christopher J. Garcia and
Durgesh Pant Optimal component selection for
component based software development
using pliability metric . . . . . . . . 1--6
Punam Bedi and
Vandana Gandotra and
Archana Singhal and
Himanshi Narang and
Sumit Sharma Mitigating multi-threats optimally in
proactive threat management . . . . . . 1--7
Vipin Saxena and
Deepak Arora and
Nimesh Mishra UML modeling of load optimization for
distributed computer systems based on
genetic algorithm . . . . . . . . . . . 1--7
Gagandeep Singh and
Hardeep Singh Effect of software evolution on metrics
and applicability of Lehman's laws of
software evolution . . . . . . . . . . . 1--7
Geeta Nagpal and
Moin Uddin and
Arvinder Kaur Analyzing software effort estimation
using k means clustered regression
approach . . . . . . . . . . . . . . . . 1--9
Shihong Huang and
Dragutin Petkovic and
Kazunori Okada and
Marc Sosnick and
Shenhaochen Zhu and
Rainer Todtenhoefer Toward objective and quantitative
assessment and prediction of teamwork
effectiveness in software engineering
courses . . . . . . . . . . . . . . . . 7--9
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--19
Peter G. Neumann Risks to the public . . . . . . . . . . 20--26
Nelly Bencomo and
Gordon Blair and
Sebastian Götz and
Brice Morin and
Bernhard Rumpe Report on the 7th International Workshop
on Models@Runtime . . . . . . . . . . . 27--30
Patricia Lago and
Rick Kazman and
Niklaus Meyer and
Maurizio Morisio and
Hausi A. Müller and
Frances Paulisch Exploring initial challenges for green
software engineering: summary of the
first GREENS workshop, at ICSE 2012 . . 31--33
Jonathan Bell and
Kendra M. L. Cooper and
Gail Kaiser and
Swapneel Sheth Report from the Second International
Workshop on Games and Software
Engineering (GAS 2012) . . . . . . . . . 34--35
Patricia Lago and
Grace A. Lewis and
Andreas Metzger and
Vladimir Tosic and
Domenico Bianculli and
Antinisca Di Marco and
Andrea Polini and
Pierluigi Plebani Report of the 4th International Workshop
on Principles of Engineering
Service-Oriented Systems (PESOS 2012) 35--38
Parminder Kaur and
Hardeep Singh A Modified Version Control Tool for
Component-Based Systems . . . . . . . . 39--41
Janardan Misra and
Annervaz KM and
Vikrant Kaulgud and
Shubhashis Sengupta and
Gary Titus Java source-code clustering: Unifying
syntactic and semantic features . . . . 41--43
M. Mrunalini and
T. V. Suresh Kumar and
K. Rajani Kanth Dynamic process model for identifying
modified data using mobile agents in
real time ETL processes . . . . . . . . 43--46
Siva Brahmasani and
Subramanian Selvakumar and
E. Sivasankar Prevention of XSS attacks using STCD:
Server side tagging and client side
differentiation . . . . . . . . . . . . 46--49
Vineet Sharma and
S. A. M. Rizvi and
Arun Sharma Software Licenses --- A tool to control
distribution of software . . . . . . . . 49--51
Bill Beshilas Book Review: \booktitleCollaborative
enterprise architecture by Stefan Bente,
Uwe Bombosch, and Shailendra Langade . . 54--54
Gregory Chapelle Book Review: \booktitleThe official
Ubuntu book, seventh edition by Matthew
Helmke and Amber Graner . . . . . . . . 54--55
William Del Ra III Book Review: \booktitleJava application
architecture: modularity patterns with
examples using OSGi by Kirk Knoernschild 55--55
Holger M. Kienle Book Review: \booktitleGrounded
innovation: strategies for creating
digital products by Lars Erik Holmquist 55--56
Michael Paige Book Review: \booktitleSams teach
yourself jQuery mobile in 24 hours by
Phil Dutson . . . . . . . . . . . . . . 56--57
Alberto Sampaio Book Review: \booktitleQuantifying the
user experience: practical statistics
for user research by Jeff Sauro and
James R. Lewis . . . . . . . . . . . . . 57--58
Joe Saur Think like a programmer: an introduction
to creative problem solving by V. Anton
Spraul . . . . . . . . . . . . . . . . . 58--58
Keith Stobie Book Review: \booktitleOS X Mountain
Lion Pocket Guide by Chris Seibold . . . 59--59
Vasile G. Teodorovici Book Review: \booktitleModern embedded
computing: designing connected,
pervasive, media-rich systems by Peter
Barry and Patrick Crowley . . . . . . . 59--60
Cagatay Catal Teaching evidence-based software
engineering to master students: a single
lecture within a course or an entire
semester-long course? . . . . . . . . . 1--2
Ricardo A. C. Rabelo and
Hendrik T. Macedo and
Eduardo O. Freire and
Rodrigo M. Oliveira Automatic code generation of SIMUROSOT
game strategies: an approach based on
finite state machines . . . . . . . . . 1--8
Rajeev Tiwari and
Noopur Goel Reuse: reducing test effort . . . . . . 1--11
Wayne Zage The security and software engineering
research center (S2ERC) . . . . . . . . 6--7
Robert Schaefer Relay ladder logic considered harmful 8--9
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 9--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--19
Peter G. Neumann Risks to the public . . . . . . . . . . 20--25
Paul Ralph and
Pontus Johnson and
Howell Jordan Report on the First SEMAT Workshop on
General Theory of Software Engineering
(GTSE 2012) . . . . . . . . . . . . . . 26--28
Grace A. Lewis and
Anca Ionita and
Marin Litoiu Report of the 2012 IEEE 6th
International Workshop on the
Maintenance and Evolution of
Service-Oriented and Cloud-Based Systems
(MESOCA 2012) . . . . . . . . . . . . . 29--32
Scott Froberg Book Review: \booktitleDistributed and
cloud computing from parallel processing
to the Internet of Things by Kai Hwang,
Geoffry C. Fox, and Jack J. Dongarra . . 34--34
Srinivasan M. Book Review: \booktitleLearning Rails 3
by Simon St. Laurent, Edd Dumbill and
Eric J. Gruber . . . . . . . . . . . . . 34--34
Scott Froberg Book Review: \booktitlePrivate cloud
computing: consolidation,
virtualization, and service-oriented
infrastructure by Stephen R. Smoot, Nam
K. Tan . . . . . . . . . . . . . . . . . 35--35
Igor Gvero Book Review: \booktitleObserving the
user experience, 2nd edition: a
practitioner's guide to user research by
Elizabeth Goodman, Mike Kuniavsky, and
Andrea Moed . . . . . . . . . . . . . . 35--35
Fernando Berzal Book Review: \booktitleStructured
parallel programming by Michael McCool,
James Reinders & Arch Robison . . . . . . 35--39
Niyati Baliyan and
Vidushi Sharma and
Shivani A fuzzy model for high-level clones in
software . . . . . . . . . . . . . . . . 1--4
Zhang Meng PPCA-based license plate detection
algorithm . . . . . . . . . . . . . . . 1--4
Alok Mishra and
Deepti Mishra Software project management tools: a
brief comparative view . . . . . . . . . 1--4
Ritika Chaudhary and
Ram Chatterjee Essence of reusability in
aspect-oriented systems . . . . . . . . 1--5
K. Koteswara Rao and
GSVP Raju and
Srinivasan Nagaraj Optimizing the software testing
efficiency by using a genetic algorithm:
a design methodology . . . . . . . . . . 1--5
Nitasha Hasteer and
Abhay Bansal and
B. K. Murthy Pragmatic assessment of research
intensive areas in cloud: a systematic
review . . . . . . . . . . . . . . . . . 1--6
Ruchika Malhotra and
Divya Tiwari Development of a framework for test case
prioritization using genetic algorithm 1--6
Parimala N. and
Ranjeet Kumar Mapping extended rationale diagrams to
OLAP queries . . . . . . . . . . . . . . 1--6
Taskeen Zaidi and
Vipin Saxena Modeling and validation of execution of
tasks on high speed network under
distributed environment . . . . . . . . 1--6
V. Bhujanga Rao and
P. Seetha Ramaiah and
K. Raja Kumar Clinical programming software to manage
patient's data with a cochlear implant 1--7
Ajay Jain Touch target optimization technique
using virtual finger-tip library . . . . 1--9
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 5--6
Shriram Krishnamurthi Artifact evaluation for software
conferences . . . . . . . . . . . . . . 7--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--20
Peter G. Neumann Risks to the public . . . . . . . . . . 21--28
John Ebert Book Review: \booktitleSOA with REST:
principles, patterns & constraints for
building enterprise solutions with REST
by Thomas Erl, Benjamin Carlyle, Cesare
Pautasso, Raj Balasubramanian . . . . . 32--33
Igor Gvero Book Review: \booktitleCore Java volume
I: fundamentals, 9th edition by Cay S.
Horstmann and Gary Cornell . . . . . . . 33--33
Robert Schaefer Book Review: \booktitleManaging the
unmanageable: rules, tools, and insights
for managing software people and teams
by Micky W. Mantle and Ron Lichty . . . 34--35
Vasile G. Teodorovici Book Review: \booktitleLearning
JavaScript: a hands-on guide to the
fundamentals of modern JavaScript by Tim
Wright . . . . . . . . . . . . . . . . . 35--36
Vasile G. Teodorovici Tcl/Tk: a developer's guide, third
edition by Clif Flynt . . . . . . . . . 36--36
Paritosh Jain and
Nitish Garg A novel approach for slicing of object
oriented programs . . . . . . . . . . . 1--4
Shikha Raina and
Arun Prakash Agarwal An automated tool for regression testing
in web applications . . . . . . . . . . 1--4
Indu S. and
Srinivas N. K. and
Harish P. J. and
GangaPrasad R. and
Nobby Varghese and
N. S. Sreekanth and
Supriya N. Pal [NLP@Desktop]: a service oriented
architecture for integrating NLP
services in desktop clients . . . . . . 1--4
Mourad Badri and
Linda Badri and
William Flageol On the relationship between use cases
and test suites size: an exploratory
study . . . . . . . . . . . . . . . . . 1--5
Brij Mohan Goel and
Pradeep Kumar Bhatia Analysis of reusability of
object-oriented systems using
object-oriented metrics . . . . . . . . 1--5
Adesh Kr. Pandey and
C. P. Agrawal and
Arun Sharma and
P. Sasikala Study of empirical approaches to analyze
the software metrics . . . . . . . . . . 1--5
Fathi Taibi Reusability of open-source program code:
a conceptual model and empirical
investigation . . . . . . . . . . . . . 1--5
Kuldeep Kumar and
Sandeep Kumar A rule-based recommendation system for
selection of software development life
cycle models . . . . . . . . . . . . . . 1--6
Sapna Varshney and
Monica Mehrotra Search based software test data
generation for structural testing: a
perspective . . . . . . . . . . . . . . 1--6
Harsh Bhasin and
Neha Singla and
Shruti Sharma Cellular automata based test data
generation . . . . . . . . . . . . . . . 1--7
Sandeep Dalal and
Rajender Singh Chhillar Empirical study of root cause analysis
of software failure . . . . . . . . . . 1--7
Deepak Rai and
Kirti Tyagi Bio-inspired optimization techniques: a
critical comparative study . . . . . . . 1--7
Abhishek Singhal and
Abhay Bansal and
Avadhesh Kumar A critical review of various testing
techniques in aspect-oriented software
systems . . . . . . . . . . . . . . . . 1--9
JianMin Jiang and
Shi Zhang and
Ping Gong and
Zhong Hong Configuring business process models . . 1--10
Persis Voola and
A. Vinaya Babu Comparison of requirements
prioritization techniques employing
different scales of measurement . . . . 1--10
Jawwad Wasat Shareef and
R. K. Pandey CAME: Component Assembly Metrics
Extraction using UML . . . . . . . . . . 1--12
Mahesh Shirole and
Rajeev Kumar UML behavioral model based test case
generation: a survey . . . . . . . . . . 1--13
Capers Jones Function points as a universal software
metric . . . . . . . . . . . . . . . . . 1--27
Glyn Anderson Idle cycles . . . . . . . . . . . . . . 6--9
Robert Schaefer Business-efficient software development
processes . . . . . . . . . . . . . . . 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 10--18
Peter G. Neumann Risks to the public . . . . . . . . . . 19--24
Qianxiang Wang and
Lin Liu Report on the Fourth Asia-Pacific
Symposium on Internetware (Internetware
2012) . . . . . . . . . . . . . . . . . 25--26
Tao Xie and
Lu Zhang and
Hong Mei Report on the International Symposium on
High Confidence Software (ISHCS
2011/2012) . . . . . . . . . . . . . . . 27--33
Gregory Chapelle Book Review: \booktitleA practical guide
to Linux commands, editors, and
shell-programming, third edition by Mark
G. Sobell . . . . . . . . . . . . . . . 38--38
Larry Kimm Book Review: \booktitleIt's our
research: getting stakeholder buy-in for
user experience research projects by
Tomer Sharon . . . . . . . . . . . . . . 38--39
Michael Paige Book Review: \booktitleThe tangled web:
a guide to securing modern web
applications by Michal Zalewski . . . . 39--40
Joe Saur Book Review: \booktitleDesign for
Emotion by Trevor van Gorp and Edie
Adams . . . . . . . . . . . . . . . . . 40--40
Vasile G. Teodorovici Book Review: \booktitleSecurity and
privacy for Microsoft Office 2010 users
by Mitch Tulloch . . . . . . . . . . . . 40--41
Vasile G. Teodorovici Book Review: \booktitleUbuntu unleashed,
2013 edition by Matthew Helmke with
Andrew Hudson and Paul Hudson . . . . . 41--41
Ricardo Terra and
Luis Fernando Miranda and
Marco Tulio Valente and
Roberto S. Bigonha Qualitas.class Corpus: a compiled
version of the Qualitas Corpus . . . . . 1--4
Amritha Raghunath and
Sadhana Ramachandran and
Selvakumar Subramanian and
Sreevatsan Vaidyanathan Data rate based adaptive thread
assignment solution for combating the
SlowPOST denial of service attack . . . 1--5
Gagandeep Singh Metrics for measuring the quality of
object-oriented software . . . . . . . . 1--5
Punam Bajaj and
Vineet Arora Multi-person decision-making for
requirements prioritization using fuzzy
AHP . . . . . . . . . . . . . . . . . . 1--6
Pavitdeep Singh and
Satwinder Singh and
Jatinder Kaur Tool for generating code metrics for C#
source code using abstract syntax tree
technique . . . . . . . . . . . . . . . 1--6
Amit Sinhal and
Bhupendra Verma A novel fuzzy based approach for effort
estimation in software development . . . 1--6
Aakash Ahmad and
Pooyan Jamshidi and
Claus Pahl A framework for acquisition and
application of software architecture
evolution knowledge: 14 . . . . . . . . 1--7
Rumpa Hazra and
Shouvik Dey and
Ananya Kanjilal and
Swapan Bhattacharya Comparative analysis of real time
resource access control protocols using
UML 2.0 . . . . . . . . . . . . . . . . 1--7
Jailton De Sousa Coelho, Jr. and
José Luis Braga and
Bernardo Giori Ambrósio System dynamics model for simulation of
the software inspection process . . . . 1--8
Ajay Jain and
Kusha Chopra Malware signing detection system . . . . 1--8
Harsh Bhasin and
Neha Singla Cellular-genetic test data generation 1--9
Jayeeta Chanda and
Sabnam Sengupta and
Ananya Kanjilal and
Swapan Bhattacharya Behavioral and structural evolution of
SOA from OO: an integrated approach . . 1--9
A. Jalila and
D. Jeya Mala Empirical evidence on OCL formal
specification-based metrics as a
predictor of fault-proneness . . . . . . 1--10
D. Jeya Mala and
K. Sabari Nathan and
S. Balamurugan Critical components testing using hybrid
genetic algorithm . . . . . . . . . . . 1--13
Raccoon and
Dog Unknownness . . . . . . . . . . . . . . 8--17
Alex Groce Passages . . . . . . . . . . . . . . . . 17--18
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 18--18
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 19--27
Peter G. Neumann Risks to the Public . . . . . . . . . . 28--33
Rafael Prikladnicki and
Yvonne Dittrich and
Helen Sharp and
Cleidson De Souza and
Marcelo Cataldo and
Rashina Hoda Cooperative and human aspects of
software engineering: CHASE 2013 . . . . 34--37
Torgeir Dingsòyr and
Nils Brede Moe Research challenges in large-scale agile
software development . . . . . . . . . . 38--39
Matthias Galster and
Mehdi Mirakhorli and
Jane Cleland-Huang and
Janet E. Burge and
Xavier Franch and
Roshanak Roshandel and
Paris Avgeriou Views on software engineering from the
twin peaks of requirements and
architecture . . . . . . . . . . . . . . 40--42
Johanna Hunt and
Xiaofeng Wang Research Dojo: applying agile principles
to agile research --- workshop summary
from XP2013 . . . . . . . . . . . . . . 43--46
Pontus Johnson and
Paul Ralph and
Michael Goedicke and
Pan-Wei Ng and
Klaas-Jan Stol and
Kari Smolander and
Iaakov Exman and
Dewayne E. Perry Report on the Second SEMAT Workshop on
General Theory of Software Engineering
(GTSE 2013) . . . . . . . . . . . . . . 47--50
Philippe Kruchten and
Robert L. Nord and
Ipek Ozkaya and
Davide Falessi Technical debt: towards a crisper
definition report on the 4th
International Workshop on Managing
Technical Debt . . . . . . . . . . . . . 51--54
Grace A. Lewis and
Nachiappan Nagappan and
Jeff Gray and
David Rosenblum and
Henry Muccini and
Emad Shihab Report of the 2013 ICSE 1st
International Workshop on Engineering
Mobile-Enabled Systems (MOBS 2013): 12 55--58
Johanna Hunt and
Olumide Akerele and
Tomi Juhola and
Michael Waterman Report from the PhD symposium at XP2013:
an adaptive experiment in feedback . . . 59--62
Ivan Beschastnikh Book Review: \booktitlePresentation
patterns: techniques for crafting better
presentations by Neal Ford, Matthew
McCullough and Nathaniel Schutta . . . . 67--67
Igor Gvero Computers as components, 3rd edition:
principles of embedded computing system
design by Marilyn Wolf . . . . . . . . . 67--68
Vasile G. Teodorovici Book Review: \booktitleDrupal For
Designers by Dani Nordin . . . . . . . . 68--68
Vasile G. Teodorovici Book Review: \booktitlejQuery, jQuery UI
and jQuery Mobile: recipes and examples
by Adriaan de Jonge and Phil Dutson . . 68--69
Sandeep Chauhan and
Arun Sharma and
P. S. Grover Developing self managing software
systems using agile modeling . . . . . . 1--3
Rakesh Kumar and
Hardeep Singh A qualitative analysis of effects of
security risks on architecture of an
information system . . . . . . . . . . . 1--3
Sugavanesh B. and
Hari Prasath R. and
Selvakumar S. SHS-HTTPS enforcer: enforcing HTTPS and
preventing MITM attacks . . . . . . . . 1--4
Daniela Castelluccia and
Giuseppe Visaggio Teaching evidence-based software
engineering: learning by a collaborative
mapping study of open source software 1--4
Kawal Jeet and
Renu Dhir Software re-engineering using
imperialist competitive algorithm . . . 1--5
Deepak Garg and
Amitava Datta and
Tim French A novel bipartite graph approach for
selection and prioritisation of test
cases . . . . . . . . . . . . . . . . . 1--6
Brij Mohan Goel and
Pradeep Kumar Bhatia Investigating of high and low impact
faults in object-oriented projects . . . 1--6
S. Roselin Mary and
Paul Rodrigues and
E. R.. Naganathan Patterns of software architecture in
Vastu: a new revelation . . . . . . . . 1--6
Gertrude N. Levine Computer security with service
degradations . . . . . . . . . . . . . . 1--7
Klaus Haller Mobile Testing . . . . . . . . . . . . . 1--8
Lalit Kumar Singh and
Gopika Vinod and
A. K. Tripathi Reliability prediction through system
modeling . . . . . . . . . . . . . . . . 1--10
Animesh Dutta and
Shrutilipi Bhattacharjee and
Ananya Kanjilal and
Ranjan Dasgupta and
Swapan Bhattacharya Engineering of requirements for a
distributed teleteaching system: a
conceptual graph-based approach . . . . 1--12
D. Jeya Mala and
S. Balamurugan and
K. Sabari Nathan Criticality analyzer and tester: an
effective approach for critical
component identification & verification
using ABC . . . . . . . . . . . . . . . 1--12
Faisal Ahmad and
Suvamoy Changder and
Anirban Sarkar Web service execution model for cloud
environment . . . . . . . . . . . . . . 1--13
Ronney Moreira de Castro and
José Luis Braga and
Liziane Santos Soares Selection of good practices for small
software development teams: a
knowledge-based approach . . . . . . . . 1--15
Marija Katic Why attending conferences is important
for your research: ESEC/FSE 2013
experience summary . . . . . . . . . . . 5--6
Alex Groce Passages . . . . . . . . . . . . . . . . 6--7
Robert Schaefer Why Lehman matters: mediocracy . . . . . 8--9
Mark A. Ardis and
Peter B. Henderson Software engineering education (SEEd) 9--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--20
Peter G. Neumann Risks to the public . . . . . . . . . . 21--28
Daniel Graziotin and
Andreas Jedlitschka Recent developments in product-focused
software process improvement: PROFES
2013 conference report . . . . . . . . . 29--34
Alok Mishra and
Jürgen Münch and
Deepti Mishra Information systems in distributed
environments: ISDE 2013 . . . . . . . . 34--35
Holger M. Kienle Book Review: \booktitleEffective
JavaScript: 68 specific ways to harness
the power of JavaScript by David Herman 40--41
Doug Moreland Book Review: \booktitleA practical
approach to large-scale agile
development: how HP transformed LaserJet
FutureSmart firmware by Gary Gruver,
Mike Young and Pat Fulghm . . . . . . . 41--42
Ryan Payton Book Review: \booktitleDevOps
Troubleshooting by Kyle Rankin . . . . . 42--42
Robert Schaefer Book Review: \booktitleDynamic
reconfigurable network-on-chip design:
innovations for computational processing
and communication by Jih-Sheng Shen and
Pao-Ann Hsuing . . . . . . . . . . . . . 42--43
Bangalore Hadoop Fundamentals by Doug Eadline . . 43--44
Vasile G. Teodorovici OS X mountain lion: the missing manual
by David Pogue . . . . . . . . . . . . . 44--44
Vasile G. Teodorovici Book Review: \booktitleThe
object-oriented thought process, fourth
edition by Matt Weisfeld . . . . . . . . 44--45
Vasile G. Teodorovici Book Review: \booktitleAdvanced
programming in the UNIX environment,
third edition by W. Richard Stevens and
Stephen A. Rago . . . . . . . . . . . . 45--45
Veit Jahns Book Review: \booktitleData insights:
new ways to visualize and make sense of
data by Hunter Whitney . . . . . . . . . 45--46
Will Tracz Software engineering: the current
practice by Vaclav Rajlich . . . . . . . 46--46
Lata Nautiyal and
Neena Gupta and
Sushil Chandra Dimri A Novel Approach to Component-Based
Software Testing . . . . . . . . . . . . 1--4
Sangeeta Sabharwal and
Manuj Aggarwal Identifying Interactions for
Combinatorial Testing using Data Flow
Techniques . . . . . . . . . . . . . . . 1--4
Taskeen Zaidi and
Vipin Saxena Performance Estimation of Static Step
Topology Across Distributed Networks
through Simulation Tool . . . . . . . . 1--4
Lata Nautiyal and
Neena Gupta and
Sushil Chandra Dimri Measurement of the Reliability of a
Component-Based Development using a
Path-Based Approach . . . . . . . . . . 1--5
Anshu Parashar and
Jitender Kumar Chhabra Measuring Change-Readiness of Classes by
Mining Change-History . . . . . . . . . 1--5
Navdeep Kaur and
Parminder Kaur Mitigation of SQL Injection Attacks
using Threat Modeling . . . . . . . . . 1--6
Narander Kumar and
Shalini Agarwal and
Taskeen Zaidi and
Vipin Saxena A Distributed Load-balancing Scheme
Based on a Complex Network Model of
Cloud Servers . . . . . . . . . . . . . 1--6
Alex Groce Passages . . . . . . . . . . . . . . . . 6--7
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 8--16
Peter G. Neumann Risks to the Public . . . . . . . . . . 17--22
Paul Ralph and
Iaakov Exman and
Pan-Wei Ng and
Pontus Johnson and
Michael Goedicke and
Alper Tolga Kocata and
Kate Liu Yan How to Develop a General Theory of
Software Engineering: Report on the GTSE
2014 Workshop . . . . . . . . . . . . . 23--25
Gregorio Robles and
Jesús M. González-Barahona and
Dirk Riehle FLOSS Research Track at the 10th
International Symposium on Open
Collaboration (OpenSym 2014) . . . . . . 26--27
Jeffrey Hughes and
Cassandra Sparks and
Alley Stoughton and
Rinku Parikh and
Albert Reuther and
Suresh Jagannathan Building Resource Adaptive Software
Systems (BRASS): Objectives and System
Evaluation . . . . . . . . . . . . . . . 1--2
Mridul Bhardwaj and
Ajay Rana Key Software Metrics and its Impact on
each other for Software Development
Projects . . . . . . . . . . . . . . . . 1--4
Offer Drori Template for a System Design File Using
OODPM Version 2015 . . . . . . . . . . . 1--4
Jayati Gulati and
Priya Bhardwaj and
Bharti Suri and
Anu Singh Lather A Study of Relationship between
Performance, Temperament and Personality
of a Software Programmer . . . . . . . . 1--5
Lata Nautiyal and
Preeti A Novel Approach of Equivalence Class
Partitioning for Numerical Input . . . . 1--5
Santosh Singh Rathore and
Sandeep Kumar A Decision Tree Regression based
Approach for the Number of Software
Faults Prediction . . . . . . . . . . . 1--6
Unnati S. Shah An Excursion to Software Development
Life Cycle Models: an Old to
Ever-growing Models . . . . . . . . . . 1--6
Niyati Baliyan and
Sandeep Kumar A Hierarchical Fuzzy System for Quality
Assessment of Semantic Web Application
as a Service . . . . . . . . . . . . . . 1--7
Jayasri kotti and
Seetharamaiah Panchumarthy The Quantitative Safety Assessment and
Evaluation for Safety-Critical Computer
Systems . . . . . . . . . . . . . . . . 1--8
Muhammed Maruf Öztürk and
Ahmet Zengin Improved GUI Testing using Task Parallel
Library . . . . . . . . . . . . . . . . 1--8
June Sung Park and
Paul E. McMahon and
Barry Myburgh Scrum Powered by Essence . . . . . . . . 1--8
K. L. S. Soujanya and
A. AnandaRao A Generic Framework for Configuration
Management of SPL and Controlling
Evolution of Complex Software Products 1--10
Alex Groce Passages . . . . . . . . . . . . . . . . 5--5
Robert Schaefer The World Will Not End With a Bang But
With Http Error 404 . . . . . . . . . . 5--7
Tao Xie The Pursuit of Practice-Impactful
Research . . . . . . . . . . . . . . . . 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 9--17
Peter G. Neumann Risks to the Public . . . . . . . . . . 18--24
Iaakov Exman and
Dewayne E. Perry and
Balbir Barn and
Paul Ralph Separability Principles for a General
Theory of Software Engineering: Report
on the GTSE 2015 Workshop . . . . . . . 25--27
Steven Fraser Software Engineering Research and
Industrial Practice IEEE ICSE 2015
Workshop Report: May 17, 2015 . . . . . 28--31
Azadeh Alebrahim and
Stephan Faßbender and
Martin Filipczyk and
Michael Goedicke and
Maritta Heisel and
Uwe Zdun Variability for Qualities in Software
Architecture . . . . . . . . . . . . . . 32--35
Jason Lee Hua Jie Industrial Case Study of Transition from
V-Model into Agile SCRUM in Embedded
Software Testing Industries . . . . . . 1--3
Richa Sharma and
Peeyush Aggarwal and
Ashish Sureka Insights from Mining Eleven Years of
Scholarly Paper Publications in
Requirements Engineering (RE) Series of
Conferences . . . . . . . . . . . . . . 1--6
Muhammed Maruf Öztürk and
Ahmet Zengin Improved GUI Testing using Task Parallel
Library . . . . . . . . . . . . . . . . 1--8
Jagannath Singh and
Subhrakanta Panda and
P. M. Khilar and
D. P. Mohapatra A Graph-Based Dynamic Slicing of
Distributed Aspect-Oriented Software . . 1--8
Wei-Chung Hu and
Hewijin Christine Jiau UCFrame: a Use Case Framework for
Crowd-Centric Requirement Acquisition 1--13
Alex Groce Passages . . . . . . . . . . . . . . . . 5--5
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 6--15
Peter G. Neumann Risks to the Public . . . . . . . . . . 16--22
Jakob Axelsson and
Efi Papatheocharous and
Jaana Nyfjord and
Martin Törngren Notes On Agile and Safety-Critical
Development . . . . . . . . . . . . . . 23--26
Tor Stålhane and
Thor Myklebust Agile Safety Analysis . . . . . . . . . 27--29
O. Doss and
T. P. Kelly Challenges and Opportunities in Agile
Development in Safety Critical Systems:
a Survey . . . . . . . . . . . . . . . . 30--31
Geir K. Hanssen and
Thor Myklebust and
Tor Stålhane Proceedings on the 1st Workshop on Agile
Methods Applied to Development and
Certification of Safety-critical
Software . . . . . . . . . . . . . . . . 32--33
Damiano Torre and
Yvan Labiche and
Marcela Genero and
Maged Elaasar and
Tuhin Kanti Das and
Bernhard Hoisl and
Matthias Kowal 1st International Workshop on UML
Consistency Rules (WUCOR 2015): Post
workshop report . . . . . . . . . . . . 34--37
Paris Avgeriou and
Neil A. Ernst and
Robert L. Nord and
Philippe Kruchten Technical Debt: Broadening Perspectives
Report on the Seventh Workshop on
Managing Technical Debt (MTD 2015) . . . 38--41
Andrew Brooks and
Laura Krebs and
Brandon Paulsen A Comparison of Sorting Times between
Java 8 and Parallel Colt: an Exploratory
Experiment . . . . . . . . . . . . . . . 1--5
William L. Honig and
Natsuko Noda and
Shingo Takada Lack of Attention to Singular (or
Atomic) Requirements Despite Benefits
for Quality, Metrics and Management . . 1--5
Leon J. Osterweil Preview: Ethical and Moral Issues for
Software Engineers . . . . . . . . . . . 5--5
Alex Groce Passages . . . . . . . . . . . . . . . . 6--7
Tao Xie Outward Thinking for Our Research
Community . . . . . . . . . . . . . . . 7--8
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 9--17
Peter G. Neumann Risks to the Public . . . . . . . . . . 18--24
Alok Mishra and
Jürgen Münch and
Deepti Mishra Information Systems in Distributed
Environments 2015 . . . . . . . . . . . 25--26
Leon J. Osterweil Be Prepared . . . . . . . . . . . . . . 4--5
Alex Groce Passages . . . . . . . . . . . . . . . . 6--5
Robert Schaefer Science, Society, and Software
Engineering. Part 2: If science is
outlawed, will only outlaws do science? 7--8
Sebastian Elbaum The State of ICSE . . . . . . . . . . . 9--10
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 11--18
Peter G. Neumann Risks to the Public . . . . . . . . . . 19--26
Marco Kuhrmann and
Rory V. O'Connor and
Dewayne E. Perry and
David Raffo Summary of the International Conference
on Software and System Processes (ICSSP
2016): [Co-located with ICSE 2016] . . . 27--30
Richa Sharma and
Ashish Sureka A Nine Year Story of the India Software
Engineering Conference from 2008 to 2016 31--44
Madhusmita Sahu and
Durga Prasad Mohapatra Computing Dynamic Slices of
Feature--Oriented Programs Using
Execution Trace File . . . . . . . . . . 1--16
Sebastian Elbaum The State of ICSE . . . . . . . . . . . 4--5
Alex Groce Passages . . . . . . . . . . . . . . . . 5--6
Peter G. Neumann Risks to the Public . . . . . . . . . . 7--14
Carlos Henrique C. Duarte and
Andreas Jedlitschka and
Ayse Bener 4th International Workshop on Conducting
Empirical Studies in Industry (CESI
2016): Post-workshop Report . . . . . . 15--18
Tomas Bures and
Danny Weyns and
Bradley Schmer and
Eduardo Tovar and
Eric Boden and
Thomas Gabor and
Ilias Gerostathopoulos and
Pragya Gupta and
Eunsuk Kang and
Alessia Knauss and
Pankesh Patel and
Awais Rashid and
Ivan Ruchkin and
Roykrong Sukkerd and
Christos Tsigkanos Software Engineering for Smart
Cyber-Physical Systems: Challenges and
Promising Solutions . . . . . . . . . . 19--24
Pan Liu and
Jun Ai and
Zhenning (Jimmy) Xu Probability Model-Based Test Suite
Reduction . . . . . . . . . . . . . . . 1--6
Lov Kumar and
Ranjan Kumar Behera and
Santanu Rath and
Ashish Sureka A Bibliometric Study of ACM SIGSOFT
Software Engineering Notes from 2007 to
2016 . . . . . . . . . . . . . . . . . . 1--7
Amit Rathee and
Jitender Kumar Chhabra Restructuring of Object-Oriented
Software Through Cohesion Improvement
Using Frequent Usage Patterns . . . . . 1--8
Felipe R. Monteiro and
Francisco A. P. Januário and
Lucas C. Cordeiro and
Eddie B. de Lima Filho BMCLua: a Translator for Model Checking
Lua Programs . . . . . . . . . . . . . . 1--10
Lov Kumar and
Ranjan Kumar Behera and
Santanu Rath and
Ashish Sureka Transfer Learning for Cross-Project
Change-Proneness Prediction in
Object-Oriented Software Systems: a
Feasibility Analysis . . . . . . . . . . 1--11
Shreya Banerjee and
Anirban Sarkar A Requirements Analysis Framework for
Development of Service Oriented Systems 1--12
Leon J. Osterweil Be Responsible . . . . . . . . . . . . . 5--8
Alex Groce Passages . . . . . . . . . . . . . . . . 9--9
Peter G. Neumann Risks to the Public . . . . . . . . . . 10--17
Francesca Arcelli Fontana and
Alexander Chatzigeorgiou and
Wolfgang Trumler and
Clemente Izurieta and
Paris Avgeriou and
Robert L. Nord Technical Debt in Agile Development:
Report on the Ninth Workshop on Managing
Technical Debt (MTD 2017) . . . . . . . 18--21
Mario Gleirscher and
Stefan Kugele and
Jonathan Sprinkle Safe Control of Autonomous & Connected
Vehicles (SCAV'17): Report from the 1st
International Workshop at CPSWeek 2017 22--23
Matthias Galster and
Damian A. Tamburri and
Rick Kazman Towards Understanding the Social and
Organizational Dimensions of Software
Architecting . . . . . . . . . . . . . . 24--25
Maryam Dabaghchian and
Zvonimir Rakamaric and
Burcu K. Ozkan and
Erdal Mutlu and
Serdar Tasiran Consistency-Aware Scheduling for Weakly
Consistent Programs . . . . . . . . . . 1--5
Reed M. Milewicz and
Simon Poulding Scalable Parallel Model Checking via
Monte-Carlo Tree Search . . . . . . . . 1--5
Yannic Noller and
Hoang Lam Nguyen and
Minxing Tang and
Timo Kehrer Shadow Symbolic Execution with Java
PathFinder . . . . . . . . . . . . . . . 1--5
Vaibhav Sharma and
Michael W. Whalen and
Stephen McCamant and
Willem Visser Veritesting Challenges in Symbolic
Execution of Java . . . . . . . . . . . 1--5
Kaiyuan Wang and
Sarfraz Khurshid and
Milos Gligoric JPR: Replaying JPF Traces Using Standard
JVM . . . . . . . . . . . . . . . . . . 1--5
Santonu Sarkar and
Gargi Alavani How Easy it is to Write Software for
Heterogeneous Systems? . . . . . . . . . 1--7
Christopher Theisen and
Marcel Dunaiski and
Laurie Williams and
Willem Visser Software Engineering Research at the
International Conference on Software
Engineering in 2016 . . . . . . . . . . 1--7
Preeti Satish and
Peri Nikhil and
Krishnan Rangarajan A Test Prioritization Algorithm That
Cares for ``Don't Care'' Values and
Higher Order Combinatorial Coverage . . 1--9
Ianegitz Vieira and
Alexandre Alvaro A Centralized Platform of Open
Government Data as Support to
Applications in the Smart Cities Context 1--13
Alex Groce Passages . . . . . . . . . . . . . . . . 5--6
Hong Mei A Review of Software Engineering
Research in China . . . . . . . . . . . 6--9
Peter G. Neumann Risks to the Public . . . . . . . . . . 10--17
Marco Kuhrmann and
Jürgen Münch and
Paolo Tell and
Philipp Diebold Summary of the 1st International
Workshop on Hybrid Development
Approaches in Software Systems
Development . . . . . . . . . . . . . . 18--20
Marsha Chechik and
Davide Di Ruscio Report from the 9th Workshop on
Modelling in Software Engineering (MiSE
2017) . . . . . . . . . . . . . . . . . 21--24
Swarup Kumar Mohalik and
Badrinath Ramamurthy and
Mahesh Babu Jayaraman and
Meenakshi D'Souza Workshop on Developmental aspects of
Intelligent Adaptive Systems (DIAS):
Co-located with 10th Innovations in
Software Engineering Conference (ISEC),
Jaipur, India . . . . . . . . . . . . . 25--27
Markus Borg and
Elizabeth Bjarnason and
Michael Unterkalmsteiner and
Tingting Yu and
Gregory Gay and
Michael Felderer Summary of the 4th International
Workshop on Requirements Engineering and
Testing (RET 2017) . . . . . . . . . . . 28--31
Sebastian Götz and
Christian Piechnick and
Andreas Wortmann Report on the 4th International Workshop
on Model-driven Robot Software
Engineering (MORSE) . . . . . . . . . . 32--34
Matthias Galster and
Danny Weyns and
Michael Goedicke and
Uwe Zdun and
Jácome Cunha and
Jaime Chavarriaga Variability and Complexity in Software
Design: Towards Quality through Modeling
and Testing . . . . . . . . . . . . . . 35--37
Christian Adriano Microtasking Software Failure
Resolution: Early Results . . . . . . . 36--36
Alex Groce Passages . . . . . . . . . . . . . . . . 1--2
Debashis Mukherjee and
Dibyanshu Shekhar and
Rajib Mall Proposal for A Structural Integration
Test Coverage Metric for Object-Oriented
Programs . . . . . . . . . . . . . . . . 1--4
Sezin Gizem Yaman User Involvement in Continuous
Experimentation . . . . . . . . . . . . 1--4
Shirin Akbarinasaji Prioritizing lingering bugs . . . . . . 1--6
Darlan Arruda Requirements Engineering in the Context
of Big Data Applications . . . . . . . . 1--6
Bruno Cartaxo Supporting Knowledge Transfer From
Secondary Studies to Software
Engineering Practice . . . . . . . . . . 1--6
Ashish Kumar Dwivedi and
Santanu Kumar Rath Transformation of Alloy Notation into a
Semantic Notation . . . . . . . . . . . 1--6
Amanda Lee One-Time Contributors to FLOSS: Surveys
and Data Analysis . . . . . . . . . . . 1--6
Peter G. Neumann Risks to the Public . . . . . . . . . . 1--6
Ibtehal Noorwali Stakeholder Concern-Driven Requirements
Analytics . . . . . . . . . . . . . . . 1--6
Eudis Teixeira Improving the Quality of Controlled
Experiments in Software Engineering . . 1--6
Huaimin Wang Harnessing the crowd wisdom for software
trustworthiness . . . . . . . . . . . . 1--6
Ritu Jain and
Ugrasen Suman A Project Management Framework for
Global Software Development . . . . . . 1--10
Leon J. Osterweil Be Gracious . . . . . . . . . . . . . . 4--6
Robert Schaefer Science, Society, and Software
Engineering: Part 3 --- The Catch . . . 4--6
Alex Groce Passages . . . . . . . . . . . . . . . . 6--7
Leon J. Osterweil Your Software Dwells in the House of
Tomorrow, Too . . . . . . . . . . . . . 7--8
Peter G. Neumann Risks to the Public . . . . . . . . . . 8--11
Peter G. Neumann Risks to the Public . . . . . . . . . . 9--16
Paramvir Singh and
Sheikh Umar Farooq and
Saurabh Tiwari and
Ashish Sureka An Experience Report on Workshop on
Emerging Software Engineering Education 12--23
Mark Doernhoefer Surfing the net for \booktitleSoftware
Engineering Notes . . . . . . . . . . . 17--25
Sébastien Gérard and
Dimitrios S. Kolovos and
Ivano Malavolta and
Henry Muccini Report from the 1st International
Workshop on Collaborative Modelling in
MDE (COMMitMDE 2016) . . . . . . . . . . 26--27
Clemente Izurieta and
Ipek Ozkaya and
Carolyn Seaman and
Will Snipes Technical Debt: a Research Roadmap
Report on the Eighth Workshop on
Managing Technical Debt (MTD 2016) . . . 28--31
Julio C. S. P. Leite and
Liping Zhao and
Sylwia Kopcz\'nska and
Sam Supakkul and
Lawrence Chung Report from the 6th International
Workshop on Requirements Patterns
(RePa'16) . . . . . . . . . . . . . . . 32--33
Alex Groce Passages . . . . . . . . . . . . . . . . 5--5
Lei Bu and
Tian Zhang and
Xin Chen and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li Model-based Construction and
Verification of Cyber-Physical Systems 6--10
Peter G. Neumann Risks to the Public . . . . . . . . . . 11--16
Tirimula Rao Benala and
Rajib Mall SEET: Software Development Effort
Estimation Using Ensemble Techniques . . 17--17
Murali Sitaraman and
Bruce W. Weide A Synopsis of Twenty Five Years of
RESOLVE PhD Research Efforts . . . . . . 17--17
Daniel Welch Formalization Integrated Development
Environments: The Current Landscape . . 17--17
Megan Fowler and
Tim Schwab BeginToReason: Understanding the Purpose
of Code . . . . . . . . . . . . . . . . 18--18
Eileen Kraemer and
Aubrey Lawson Reasoning About Concurrency: Scenarios
for Activities . . . . . . . . . . . . . 18--18
Eileen Kraemer Teaching the Design-by-Contract Concept
in a Software Engineering Course Using
RESOLVE . . . . . . . . . . . . . . . . 18--18
Alan Weide Reasoning Challenges of Data Abstraction
and Aliasing in Concurrent Programs . . 18--18
Yu-Shan Sun Reasoning About Reference Behavior with
RESOLVE . . . . . . . . . . . . . . . . 18--19
Saad F. Asim An Exercise in Design: The Binary
Decision Diagram . . . . . . . . . . . . 19--19
Alex Groce Passages . . . . . . . . . . . . . . . . 6--7
Robert L. Glass and
Frank Land Errors in Computing History . . . . . . 7--8
Zhi Jin Open Models: Beyond the Open Source
Software Development . . . . . . . . . . 9--12
Peter G. Neumann Risks to the Public . . . . . . . . . . 13--20
Steven Fraser and
Dennis Mancl Agile Culture: a Panels Report from XP
2017 . . . . . . . . . . . . . . . . . . 21--23
Claudia Raibulet and
Mariagrazia Fugini and
Khalil Drira and
Patrizio Pelliccione and
Ilias Gerostathopoulos and
Christian Prehofer and
Klaus Moessner Report of the 1st International Workshop
on Context-aware Autonomous and Smart
Architectures (CASA@ECSA 2017) . . . . . 24--27
Linda Northrop and
Ipek Ozkaya and
George Fairbanks and
Michael Keeling Designing the Software Systems of the
Future . . . . . . . . . . . . . . . . . 28--30
Dirk van der Linden and
Awais Rashid The Effect of Software Warranties on
Cybersecurity . . . . . . . . . . . . . 31--35
Markus Borg and
Adnan Causevic and
Serge Demeyer and
Sigrid Eldh Summary of the 1st IEEE Workshop on the
Next Level of Test Automation (NEXTA
2018) . . . . . . . . . . . . . . . . . 36--38
Steven Fraser and
Dennis Mancl No Silver Bullet Reloaded: Report on XP
2017 Panel Session . . . . . . . . . . . 39--41
Tomas Bures and
Danny Weyns and
Bradley Schmer and
John Fitzgerald Software Engineering for Smart
Cyber-Physical Systems: Models,
System-Environment Boundary, and Social
Aspects . . . . . . . . . . . . . . . . 42--44
Mario Gleirscher and
Stefan Kugele and
Sven Linker SCAV'18: Report of the 2nd International
Workshop on Safe Control of Autonomous
Vehicles . . . . . . . . . . . . . . . . 45--47
Marco Kuhrmann and
Rory V. O'Connor and
Dan Houston and
Regina Hebig and
David Raffo Summary of the International Conference
on Software and System Processes (ICSSP
2018) . . . . . . . . . . . . . . . . . 48--51
Steven Fraser and
Dennis Manci Agile Culture: a Panels Report from XP
2017 . . . . . . . . . . . . . . . . . . 52--52
Umaima Haider and
John D. McGregor and
Rabih Bashroush The ALI Architecture Description
Language . . . . . . . . . . . . . . . . 52--52
Ajay Jain and
Sachin Soni Multi-Directional navigation method for
optimized consumption of user generated
content through semantic mapping of
features derived from the user generated
content . . . . . . . . . . . . . . . . 52--52
Claudia Raibulet and
Mariagrazia Fugini and
Khalil Drira and
Patrizio Pelliccione and
Ilias Gerostathopoulos and
Christian Prefoher and
Klaus Moessne Report of the 1st International Workshop
on Context-aware Autonomous and Smart
Architectures (CASA@ECSA 2017) . . . . . 52--53
Markus Borg and
Adnan Causevic and
Serge Demeyer and
Sigrid Eldh Summary of the 1st IEEE Workshop on the
Next Level of Test Automation (NEXTA
2018) . . . . . . . . . . . . . . . . . 53--53
Steven Fraser and
Dennis Manci No Silver Bullet Reloaded: Report on XP
2017 Panel Session . . . . . . . . . . . 53--53
Lina Northrop and
Ipek Ozkaya and
George Fairbanks and
Michael Keeling Designing the Software Systems of the
Future . . . . . . . . . . . . . . . . . 53--53
Dirk van der Linden and
Awais Rashid The Effect of Software Warranties on
Cybersecurity . . . . . . . . . . . . . 53--53
Tomas Bures and
Danny Weyns and
Bradley Schmerl and
John Fitzgerald Software Engineering for Smart
Cyber-Physical Systems: Models,
System-Environment Boundary, and Social
Aspects . . . . . . . . . . . . . . . . 54--54
Mario Gleirscher and
Stefan Kugele and
Sven Linker SCAV'18: Report of the 2nd International
Workshop on Safe Control of Autonomous
Vehicles . . . . . . . . . . . . . . . . 54--54
Marco Kuhrmann and
Rory V. O'Connor and
Dan Houston and
Regina Hebig and
David Raffo Summary of the International Conference
on Software and System Processes (ICSSP
2018) . . . . . . . . . . . . . . . . . 54--54
Tevfik Bultan Side-Channel Analysis via Symbolic
Execution and Model Counting . . . . . . 55--55
Maria Paquin and
Elena Sherman and
Amit Jain Assessing the Adequacy of Synthetic
Programs for Learning SPF's
Configurations . . . . . . . . . . . . . 55--55
Quoc-Sang Phan Test input generation using separation
logic . . . . . . . . . . . . . . . . . 55--55
Kaiyuan Wang and
Hayes Converse and
Milos Gligoric and
Sasa Misailovic and
Sarfraz Khurshid A Progress Bar for the JPF Search Using
Program Executions . . . . . . . . . . . 55--55
Lucas C. Cordeiro and
Daniel Kroening and
Peter Schrammel Benchmarking of Java Verification Tools
at the Software Verification Competition
(SV-COMP) . . . . . . . . . . . . . . . 56--56
Joseph Jones and
James Wasson and
Sean Brown and
Seth Poulsen and
Peter Aldous and
Eric Mercer Memory safety in C by abstract
interpretation . . . . . . . . . . . . . 56--56
Seemanta Saha and
Ismet Burak Kadron and
William Eiers and
Lucas Bang and
Tevfik Bultan Attack Synthesis for Strings using
Meta-Heuristics . . . . . . . . . . . . 56--56
Guolong Zheng and
Quang Loc Le and
ThanhVu Nguyen and
Quoc-Sang Phan Automatic Data Structure Repair using
Separation Logic . . . . . . . . . . . . 66--66
Alex Groce Passages . . . . . . . . . . . . . . . . 7--7
Robert Schaefer What Do We Mean When We Talk about
Artificial Intelligence?: (Part 1) . . . 7--10
Peter G. Neumann Risks to the Public . . . . . . . . . . 11--17
Viviana Mascardi and
Danny Weyns and
Alessandro Ricci Engineering Multi-Agent Systems: State
of Affairs and the Road Ahead . . . . . 18--28
Stefan Eck and
Hans A. Hansson PROMPT --- Master Courses for
Professional Software Developers . . . . 29--30
Michael Unterkalmsteiner and
Tingting Yu and
Gregory Gay and
Elizabeth Bjarnason and
Markus Borg and
Michael Felderer Summary of the 5th International
Workshop on Requirements Engineering and
Testing (RET 2018) . . . . . . . . . . . 31--34
Stefan Eck and
Hans A. Hansson PROMPT --- Master Courses for
Professional Software Developers . . . . 35--35
Neha Kumari and
Rajeev Kumar Evolution of Generic Programming in
OOPLs . . . . . . . . . . . . . . . . . 35--35
Viviana Mascardi and
Danny Weyns and
Alessandro Ricci Engineering Multi-Agent Systems: State
of Affairs and the Road Ahead . . . . . 35--35
Subhajit Roy Envisioning an Intelligent Collaborative
Integrated Development Environment . . . 35--35
Altherwi Muna Assessing Programming Language Impact on
Software Development Productivity Based
on Mining OSS Repositories . . . . . . . 36--37
Maninder Singh Using Natural Language Processing and
Graph Mining to Explore Inter-Related
Requirements in Software Artefacts . . . 37--37
Ana Turlea Model-in-the-Loop Testing for Cyber
Physical Systems . . . . . . . . . . . . 37--37
Alex Groce Passages . . . . . . . . . . . . . . . . 3--4
Sebastian Elbaum The State of ICSE . . . . . . . . . . . 4--5
Peter G. Neumann Risks to the Public . . . . . . . . . . 6--12
Alex Groce Passages . . . . . . . . . . . . . . . . 10--11
Jacopo Soldani Grey Literature: a Safe Bridge Between
Academy and Industry? . . . . . . . . . 11--12
Lakshmanan Arumugam and
Vikram N. Subramanian and
Meiyappan Nagappan SEGarage: a Curated Archive for Software
Engineering Research Tools . . . . . . . 13--13
Peter G. Neumann Risks to the Public . . . . . . . . . . 16--21
Oscar Pastor Design Science for PhD Research in the
Software Engineering Domain . . . . . . 22--22
Abdullah Aldaeej Towards Effective Technical Debt
Decision Making in Software Startups . . 22--22
Patrícia Gomes Fernandes Matsubara Dealing with software estimates
distortions from the perspective of
negotiation theories . . . . . . . . . . 22--22
Rebeca C. Motta An Evidence-Based Framework for
Supporting the Engineering of IoT
Software Systems . . . . . . . . . . . . 22--23
Amadeu Anderlin Neto A Strategy to Support Replications of
Controlled Experiments in Software
Engineering . . . . . . . . . . . . . . 23--23
Fernando Kenji Kamei The Use of Grey Literature Review as
Evidence for Practitioners . . . . . . . 23--23
Mark Kreitz Security by Design in Software
Engineering . . . . . . . . . . . . . . 23--23
Nyyti Saarimäki Methodological Issues in Observational
Studies . . . . . . . . . . . . . . . . 24--24
William B. Langdon and
Westley Weimer and
Christopher Timperley and
Oliver Krauss and
Zhen Yu Ding and
Yiwei Lyu and
Nicolas Chausseau and
Eric Schulte and
Shin Hwei Tan and
Kevin Leach and
Yu Huang and
Gabin An The State and Future of Genetic
Improvement . . . . . . . . . . . . . . 25--29
Fabio Calefato and
Paolo Tell and
Alpana Dubey Summary of the 14th International
Conference on Global Software
Engineering (ICGSE) . . . . . . . . . . 30--33
Stanley M. Sutton and
Ove Armbrust and
Regina Hebig and
Paul Clarke Summary of the 2019 International
Conference on Software and System
Processes (ICSSP 2019) . . . . . . . . . 34--37
Federico Ciccozzi and
Nico Hochgeschwender and
Ivano Malavolta and
Andreas Wortmann Report on the 2nd International Workshop
on Robotics Software Engineering
(RoSE'19) . . . . . . . . . . . . . . . 38--40
Sai Anirudh Karre and
Lalit Mohan and
Y. Raghu Raghu Reddy and
K. V. Raghavan and
R. D. Naik and
Rahul Purandare and
Amey Karkare A report on 1st Software Engineering
Research in India Update Meeting (SERI
2019) . . . . . . . . . . . . . . . . . 41--42
Jan-Philipp Steghöfer and
Nan Niu and
Jin L. C. Guo and
Anas Mahmoud SST'19 --- Software and Systems
Traceability: Summary of the 10th
International Workshop at the 41st
International Conference on Software
Engineering (ICSE), May 27, 2019 . . . . 43--47
Roberto Tonelli and
Marco Ortu and
Stephane Ducasse and
Michele Marchesi Workshop Summary: 2019 IEEE /ACM Second
International Workshop on Emerging
Trends in Software Engineering for
Blockchain (WETSEB 2019) . . . . . . . . 48--52
Byoungju Choi and
María-José Escalona and
Kim Herzig Summary of the 14th edition of the
IEEE\slash ACM Workshop on Automation of
Software Test (AST) . . . . . . . . . . 53--53
Janet Siegmund and
Andrew Begel and
Norman Peitek Summary of the Sixth Edition of the
International Workshop on Eye Movements
in Programming . . . . . . . . . . . . . 54--55
Xiaoyuan Xie and
Pak-Lok Poon and
Laura L. Pullum Workshop Summary: 2019 IEEE /ACM Fourth
International Workshop on Metamorphic
Testing (MET 2019) . . . . . . . . . . . 56--59
Ilias Gerostathopoulos and
Marco Konersmann and
Stephan Krusche and
David I. Mattos and
Jan Bosch and
Tomas Bures and
Brian Fitzgerald and
Michael Goedicke and
Henry Muccini and
Helena H. Olsson and
Thomas Brand and
Robert Chatley and
Nikolaos Diamantopoulos and
Arik Friedman and
Miguel Jiménez and
Jan Ole Johanssen and
Putra Manggala and
Masumi Koseki and
Jorge Melegati and
Nuthan Munaiah and
Gabriel Tamura and
Vasileios Theodorou and
Jeffrey Wong and
Iris Figalist Continuous Data-driven Software
Engineering --- Towards a Research
Agenda: Report on the Joint 5th
International Workshop on Rapid
Continuous Software Engineering (RCoSE
2019) and 1st International Works . . . 60--64
Dusica Marijan and
Sagar Sen Good Practices in Aligning Software
Engineering Research and Industry
Practice . . . . . . . . . . . . . . . . 65--67
Dusica Marijan and
Weiyi Shang and
Rakesh Shukla Implications of Resurgence in Artificial
Intelligence for Research Collaborations
in Software Engineering . . . . . . . . 68--70
Peter G. Neumann Risks to the Public . . . . . . . . . . 5--10
Tomas Bures and
Danny Weyns and
Bradley Schmerl and
John Fitzgerald and
Adina Aniculaesei and
Christian Berger and
João Cambeiro and
Jan Carlson and
Shafiul Azam Chowdhury and
Marian Daun and
Nianyu Li and
Matthias Markthaler and
Claudio Menghi and
Birgit Penzenstadler and
Aedan Pettit and
Robert Pettit and
Luca Sabatucci and
Christos Tranoris and
Hans Vangheluwe and
Sebastian Voss and
Edith Zavala Software Engineering for Smart
Cyber-Physical Systems (SEsCPS 2018) ---
Workshop Report . . . . . . . . . . . . 11--13
Xuan-Bach D. Le and
Corina Pasareanu and
Rohan Padhye and
David Lo and
Willem Visser and
Koushik Sen Saffron: Adaptive Grammar-based Fuzzing
for Worst-Case Analysis . . . . . . . . 14--14
Alyas Almaawi and
Hayes Converse and
Milos Gligoric and
Sasa Misailovic and
Sarfraz Khurshid Quantifying the Exploration of the Korat
Solver for Imperative Constraints . . . 15--15
Kyle Storey and
Eric Mercer and
Pavel Parizek A Sound Dynamic Partial Order Reduction
Engine for Java Pathfinder . . . . . . . 15--15
Yannic Noller and
Hoang Lam Nguyen and
Minxing Tang and
Timo Kehrer and
Lars Grunske Complete Shadow Symbolic Execution with
Java PathFinder . . . . . . . . . . . . 15--16
Seemanta Saha and
William Eiers and
Ismet Burak Kadron and
Lucas Bang and
Tevfik Bultan Incremental Attack Synthesis . . . . . . 16--16
Lasse Berglund and
Cyrille Artho Method summaries for JPF . . . . . . . . 16--16
Zhenbang Chen and
Hengbiao Yu and
Ji Wang and
Wei Dong Symbolic Verification of Regular
Properties for Java Programs . . . . . . 17--17
Egor Namakonov and
Eric Mercer and
Pavel Parizek and
Kyle Storey Symbolic data race detection for
Habanero programs . . . . . . . . . . . 18--18
Joshua Hooker and
Peter Aldous and
Eric Mercer and
Benjamin Ogles and
Kyle Storey and
S. Jacob Powell JPF-HJ: a Tool for Task Parallel Program
Analysis . . . . . . . . . . . . . . . . 19--19