Journal: ACM SIGSOFT Software Engineering Notes

Volume 41, Issue 3

1 -- 6Lucas C. Cordeiro, Eddie Batista de Lima Filho. SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends
1 -- 7Madhusmita Sahu, Durga Prasad Mohapatra. Forward Dynamic Slicing of Web Applications
4 -- 5Alex Groce. Passages
6 -- 8Tao Xie. Diversity and Inclusion in Research Community: Remembering David Notkin
8 -- 10Robert Schaefer. Science, Society, and Software Engineering Part 1: Scientists at work and play
11 -- 18Mark Doernhoefer. Surfing the Net for Software Engineering Notes
19 -- 26Peter G. Neumann. Risks to the Public
27 -- 30Sridhar Chimalakonda, Dan-Hyung Lee. On the Evolution of Software and Systems Product Line Standards
31 -- 33Michael Unterkalmsteiner, Gregory Gay, Michael Felderer, Elizabeth Bjarnason, Markus Borg, Mirko Morandini. Summary of the 3rd International Workshop on Requirements Engineering and Testing (RET 2016): [Co-located with REFSQ 2016]
34 -- 35Adam Wojciechowski, Alok Mishra. The 3rd Workshop on Social and Algorithmic Issues in Business Support: Paradigms Derived from Text and Converted into Algorithms