Reading Group

In order to unify the different groups within SSE and merge our expertise from different domains, we have decided to have weekly discussions in form of presentation of papers selected by academia members and research fellows.

The reading group also awards a PORG (Prize for Outstanding Reading Group talk). Every speaker qualifies for this prize and there are no official criteria for picking winners. Prizes are awarded based on feedback from the audience. The final decision who is given this award rests with Prof. Mark Harman, head of the Software Systems Engineering group. Below you can find a list of past winners along with points for why they were awarded the prize.

Next Session:

Date: 19th of June 2013

Title: Conflicts and opinion clashes in Wikipedia

Time: 1pm - 2pm

Room: Foster Court 114

Reader: Taha Yasseri

PORG Winners (2012/2013):

Date

Reader

Reason

28/11/12

Kiran Lakhotia

 

  • combining best practices from previous PORG winners
  • analysing the contributions/effort made by each of the authors of the paper
  • including a summary of what he liked about the paper and why

 

Upcoming Session:

Date

Title

Reason

Reader

19/06/13

Conflicts and opinion clashes in Wikipedia

Taha Yasseri

26/06/13

No Reading Group

03/07/13

Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing

Justyna Petke

10/07/13

CHECK-THEN-ACT misuse of Java concurrent collections

Dan Haitao

Paper Pool:

The paper pool contains a list of papers that have been suggested for the reading group. If you would like to add a paper to the pool, or present a paper from the pool, please email Kiran (k.lakhotia@cs.ucl.ac.uk).

Title

Reason

Suggested By

L. Sugandha, A. Sorowit, Z. Andrea, C. Jane Improving trace accuracy through data-driven configuration and composition of tracing features

Mark Harman


M. Nagappan, T. Zimmermann, C. Bird Diversity in Software Engineering Research

Mark Harman


S. Hao, D. Li, W. G. J. Halfond, R. Govindan Estimating Mobile Application Energy Consumption using Program Analysis

Mark Harman


K. S. Button, J. P. A. Ioannidis, C. Mokrysz, B. A. Nosek, J. Flint, E. S. J. Robinson, M. R. Munafo Power failure: why small sample size undermines the reliability of neuroscience

Well worth a look for anyone who uses statistical techniques to investigate SE problems

Mark Harman


C. Bird, T. Zimmermann Assessing the Value of Branches with What-if Analysis , FSE 2012.

Paper about SPLs.

Mark Harman


A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, M. Pezze, Automatic Recovery from Runtime Failures , ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


S. Thummalapenta, K. Vasanta Lakshmi, S. Sinha, N. Sinha, S. Chandra, Test Generation for Web Applications: A Business Rule Perspective , ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


B. Khan Kasi, A. Sarma, Cassandra: Proactive Conflict Minimization through Optimized Task Scheduling, ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


M. Whalen, G. Gay, D. You, M. Heimdahl, M. Staats, Observable Modified Condition/Decision Coverage, ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


G. Bortis, A. van der Hoek, PorchLight: A Tag-based Approach to Bug Triaging, ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


R. Pham, L. Singer, O. Liskin, F. Figueira Filho, K. Schneider, Creating a Shared Understanding of Testing Culture on a Social Coding Site, ICSE 2013, to appear.

This paper is a new ICSE 2013 paper.

Mark Harman


A. Arcuri and L. Briand, A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering, ACM/IEEE International Conference on Software Engineering (ICSE), ed. by -, pp. 1 - 10 , IEEE (ISBN: 978-1-4503-0445-0 ), 2011.

This paper gives valuable practical advice on inferential statistics.

Mark Harman


Gordon Fraser, Andrea Arcuri, Whole Test Suite Generation, IEEE TSE, to appear.

 

Mark Harman


S. Subashini, V.Kavitha, A survey on security issues in service delivery models of cloud computing, Journal of Network and Computer Applications 34(1), pp. 1-11, 2011.

This is a survey paper on cloud security testing which is a very promising area in testing and a very flashy subject ATM.

Mustafa Bozkurt


Philip J. Guo, Thomas Zimmermann, Nachiappan Nagappan, Brendan Murphy, Characterizing and Predicting Which Bugs Get Fixed: An Empirical Study of Microsoft Windows, In Proceedings of the 32th International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010.

A paper that I think would work well to "connect" different SSE subgroups.

Licia Capra


I. Kwan and D. Damian, The hidden experts in software-engineering communication (NIER track), Proceedings of the International Conference on Software Engineering (ICSEÕ11), Hawaii, 2011.

This is a NIER paper at ICSE. I could not find a follow up, but I would recommend reading it anyway, even if it's work in progress. To me it was a highlight of ICSE 2011

Licia Capra


Dave Parnas and Paul Clements, A Rational Design Process: How and Why to Fake It.

A classic that everybody should have read.

Anthony Finkelstein


Don Knuth, The Errors of TEX.

A classic that everybody should have read.

Anthony Finkelstein


Richard Selby, Vic Basili and F. Terry Baker, Cleanroom Software Development: An Empirical Evaluation.

A classic that everybody should have read.

Anthony Finkelstein


Robillard M., Walker R., Zimmermann T, Recommendation Systems for Software Engineering, IEEE Software, 27(4), pp. 80-86, 2010

There's been a bit of talk about applying recsys to se so an overview paper might be good.

Chris Smith


Jonathan Heusser, Pasquale Malacaria, Quantifying information leaks in software, ACSAC 2010.

This is the first paper to analyse QIF in programs which are not toy programs. It reports on using the CBMC model checker to estimate bounds on the flow capacity of channels within the Linux Kernel that could leak confidential information (channels that should't be there). It uses the same techniques to analyse the effectiveness of subsequent security patches. The presentation of the supporting theory is, I think quite easy to digest.

David Clark


Michael Clarkson, Fred Schneider, Quantification of Integrity, CSFS, 2010.

This is the first paper to analyse integrity using a QIF approach. One aspect of the paper is that in taking an information theoretic view it comes up with a new formal result about the relationship between confidentiality and integrity. Integrity is traditionally seen as the dual of confidentiality as a security property. This paper separates integrity into two sub properties: taint and suppression. Via this separation the paper demonstrates that integrity is an incomplete dual of confidentiality. Another aspect of the paper is that the analysis of the suppression aspect of integrity produces an information theoretic foundation for anonymising information in databases.

David Clark


Kalyan Veeramachaneni, Ekaterina Vladislavleva, Una-May O'Reilly, Knowledge mining sensory evaluation data: genetic programming, statistical techniques, and swarm optimization, Genetic Programming and Evolvable Machines: 13(1), 103-133, 2012.

 

Bill Langdon


Xiao Gang, Southey Finnegan, Holte Robert C., Wilkinson Dana, Software testing by active learning for commercial games, Proceedings of the 20th national conference on Artificial intelligence - Volume 2, 2005.

 

Shin Yoo


Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, Premkumar Devanbu On the naturalness of software

 

Emmanuel Letier


Buhnova, B. ; Grunske, L. ; Koziolek, A. ; Meedeniya, I. Software Architecture Optimization Methods: A Systematic Literature Review

 

Emmanuel Letier

Past Sessions:

Date

Title

Reader

12/05/13

Managing Non-functional Uncertainty via Model-Driven Adaptivity

Federica Sarro

05/06/13

Sound Empirical Evidence in Software Testing

Fan Wu

22/05/13

No Reading Group

15/05/13

No Reading Group

08/05/13

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

Syed Islam

24/04/13

No Reading Group

01/05/13

Cross-Entropy Based Testing

David Clark

17/04/13

Estimating Mobile Application Energy Consumption Using Program Analysis

Yue Jia

10/04/13

"Not My Bug!" and Other Reasons for Software Bug Report Reassignments

Kiran Lakhotia

27/03/13

Guest speaker: Analysis and Testing of Concurrent Programs

Zdenek Letko

20/03/13

Guest speaker: An Approach for Variability Management of Reliability Models in Software Product Lines

Genaina Rodrigues

13/03/13

Testing Software Product Lines

Kelly Androutsopoulos

06/03/13

Doodle Around the World: Online Scheduling Behavior Reflects Cultural Differences in Time Perception and Group Decision-Making

Giovanni Quattrone

20/02/13

Distilling GeneChips with Genetic Programming on the Emerald GPU supercomputer

William Langdon

06/02/13

On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines

David Stefan

23/01/13

DART: directed automated random testing

Kiran Lakhotia

09/01/13

Interaction-Based Test-Suite Minimization, Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick International Conference on Software Engineering (ICSE'13)

Justyna Petke

19/12/12

No Reading Group

SSE Christmas Dinner

12/12/12

Experimental Program Analysis

Video talk

05/12/12

How do software architects consider non-functional requirements: An exploratory study

Yuanyuan Zhang

28/11/12

It’s not a Bug, it’s a Feature: On the Data Quality of Bug Databases

Kiran Lakhotia

21/11/12

The GISMOE challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs

Mark Harman

14/11/12

Introduction to SAT solving

Justyna Petke

07/11/12

Intelligence without representation

Shin Yoo

This page was last modified on 19 June, 2013