Mueller report: Russia hacked state databases and voting machine companies - Russian intelligence officers injected malicious SQL code and then ran commands to extract information Computer Science

Test case has to write down the conditions it's testing.
Conditions are propositions that fail the test if they are false.
The condition is satisfied for the given inputs if the test succeeds.
Therefore the test case is a formal proof that takes some number of inputs and attempts to prove that the expression is satisfied.

I thought about this in a few ways and tried to refute it.

Test case may interact with the world while formal proof does not. I think this can be refuted as a minor detail because a formal proof also interacts with the world. It tells you whether it is satisfied or not. Also tests usually are regarded as better if they are deterministic, just like responses of formal proofs.
Tests cases may fail if program's design fails, but formal proofs are doing the same.
Test case may be wrong if the proposition it is testing is not the property you're looking to get. But this is same with formal proofs.
Generally, every attempt to refute would appear to fail on the issue that test cases seem to be covered by formal proofs.

If you generalize a test case by making it cover every input in the program, and write the additional proofs required, it becomes a formal proof of correctness.

If my thinking of this is correct, I got another question for you: If we assume that we know how to write, and write the generalized formal proof when it's possible. What kind of propositions would remain as unit tests?

submitted by /u/htuhola
[link] [comments]

Volkswagen Joins IBM-Led Initiative To Track Cobalt Supply Chains Using Blockchain

Posted: 22 Apr 2019 06:19 AM PDT

submitted by /u/modigliani88
[link] [comments]

I’m a graduate student who wants to do research portion at a different university nearby. Does anyone have an idea how to go about this?

Posted: 22 Apr 2019 09:56 AM PDT

Entering in a MSCS program this fall and I want to get into research. Unfortunately the school I will be attending does not have much in the way of research opportunities. But there is a school in the same city that has high research activity in very interesting areas and I'd like to work there.

Also, I come from a nonCS (biochemistry) undergrad but I have done lots of research as an undergrad and I am published.

It appears there are 3 things to consider: 1. No CS background 2. Student at different university (non-international so study abroad doesn't apply) 3. A masters student (not a PhD)

Ideally I'd spend the entire 2 year program working in research but I may have a hard time convincing a PI to take me in being unproven. Alternatively, I could wait 1 or 2 semesters and then ask for an opportunity. Although I don't know if they would be as receptive for just a year long stint.

What would be the best way to go about this?

submitted by /u/logicallyzany
[link] [comments]

Google Cloud Specializations on Coursera Free for 1 month

Posted: 22 Apr 2019 08:29 AM PDT

submitted by /u/poonddetatte
[link] [comments]

Start Your Machine Learning Journey Here

Posted: 22 Apr 2019 07:28 AM PDT

submitted by /u/woahdotcom
[link] [comments]